aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--ROOT2
1 files changed, 1 insertions, 1 deletions
diff --git a/ROOT b/ROOT
index 5b4f208..4a48f25 100644
--- a/ROOT
+++ b/ROOT
@@ -17,6 +17,7 @@ session Spartan in spartan = Spartan_Core +
directories
data
theories
+ More_Types
Maybe
List
@@ -32,6 +33,5 @@ session HoTT in hott = Spartan +
Identity
Equivalence
Nat
- More_Types
More_List
Eckmann_Hilton