fix ROOT

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