aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--ROOT6
1 files changed, 2 insertions, 4 deletions
diff --git a/ROOT b/ROOT
index 00d020a..b3aa520 100644
--- a/ROOT
+++ b/ROOT
@@ -14,7 +14,7 @@ session Spartan in spartan = Spartan_Core +
directories
lib
theories
- More_Types
+ Prelude
Maybe
List
@@ -29,6 +29,4 @@ session HoTT in hott = Spartan +
Identity
Equivalence
Nat
- More_List
- More_Nat
-
+ "List+"