1 files changed, 3 insertions, 0 deletions
diff --git a/ROOT b/ROOT
index 2d97bbb..a04ca48 100644
--- a/ROOT
+++ b/ROOT
@@ -29,4 +29,7 @@ session HoTT in hott = MLTT +
     Identity
     Equivalence
     Nat
+    Propositions
+    Univalence
+    Bool_HoTT
     List_HoTT