From bc2bc24f8adf48aba2328da7616825f3812ebbf9 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 3 Apr 2020 01:15:43 +0200
Subject: fix ROOT

---
 ROOT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ROOT')

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
-- 
cgit v1.2.3