From f988d541364841cd208f4fd21ff8e5e2935fc7aa Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 24 Jun 2021 22:40:05 +0100
Subject: Bad practice huge commit: 1. Rudimentary prototype definitional
 package 2. Started univalence 3. Various compatibility fixes and new theory
 stubs 4. Updated ROOT file

---
 ROOT | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'ROOT')

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
-- 
cgit v1.2.3