From eee7d9771c3acd4a45ece85fd9a0bf8f7a46e0e7 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 25 May 2020 19:37:57 +0200
Subject: more reorganizing

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

(limited to 'ROOT')

diff --git a/ROOT b/ROOT
index b716396..844f92b 100644
--- a/ROOT
+++ b/ROOT
@@ -28,9 +28,8 @@ session HoTT in hott = Spartan +
       Available online at https://homotopytypetheory.org/book.
   "
   theories
-    HoTT (global)
     Identity
     Equivalence
-    More_Types
     Nat
-
+    More_Types
+    More_List
-- 
cgit v1.2.3