Add EquivGroupoids to HoTT.v

HoTT · Feb 12, 2015 · 6739849 · 6739849
1 parent bc555cc
commit 6739849
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/theories/HoTT.v b/theories/HoTT.v
@@ -11,6 +11,7 @@ Require Export Fibrations.
 Require Export Conjugation.
 Require Export HProp.
 Require Export HSet.
+Require Export EquivGroupoids.
 Require Export EquivalenceVarieties.
 Require Export Extensions.
 Require Export Misc.