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