aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
authorJosh Chen2020-05-25 19:37:57 +0200
committerJosh Chen2020-05-25 19:37:57 +0200
commiteee7d9771c3acd4a45ece85fd9a0bf8f7a46e0e7 (patch)
treeaf91d4d6635ccf65ac6bd7a89f799892cbe6963b /ROOT
parentc19533acfad3bbe603cd8a3d176e8b14f477573a (diff)
more reorganizing
Diffstat (limited to '')
-rw-r--r--ROOT5
1 files changed, 2 insertions, 3 deletions
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