Bad practice huge commit:

1. Rudimentary prototype definitional package
2. Started univalence
3. Various compatibility fixes and new theory stubs
4. Updated ROOT file

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