From 60f32406e8c9712c0689d54a3dd4f8e17d310d52 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 25 May 2020 18:50:59 +0200
Subject: Lists + more reorganizing

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

(limited to 'ROOT')

diff --git a/ROOT b/ROOT
index 1e8017c..b716396 100644
--- a/ROOT
+++ b/ROOT
@@ -17,7 +17,7 @@ session Spartan in spartan = Spartan_Core +
   directories
     data
   theories
-    "data/List"
+    List
 
 session HoTT in hott = Spartan +
   description "
@@ -28,8 +28,9 @@ session HoTT in hott = Spartan +
       Available online at https://homotopytypetheory.org/book.
   "
   theories
-    Base
+    HoTT (global)
     Identity
     Equivalence
+    More_Types
     Nat
 
-- 
cgit v1.2.3