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 b3aa520..014767a 100644
--- a/ROOT
+++ b/ROOT
@@ -29,4 +29,4 @@ session HoTT in hott = Spartan +
Identity
Equivalence
Nat
- "List+"
+ List_HoTT