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 e62fa06..218dc9c 100644
--- a/ROOT
+++ b/ROOT
@@ -20,5 +20,5 @@ session HoTT in hott = Spartan +
Available online at https://homotopytypetheory.org/book.
"
theories
- Basic_Types
+ Base
Nat