From ec7dcd5e780d26e7f8866c3d245b08b23de56ff9 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Wed, 27 May 2020 21:30:21 +0200
Subject: move More_Types to Spartan

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

(limited to 'ROOT')

diff --git a/ROOT b/ROOT
index 5b4f208..4a48f25 100644
--- a/ROOT
+++ b/ROOT
@@ -17,6 +17,7 @@ session Spartan in spartan = Spartan_Core +
   directories
     data
   theories
+    More_Types
     Maybe
     List
 
@@ -32,6 +33,5 @@ session HoTT in hott = Spartan +
     Identity
     Equivalence
     Nat
-    More_Types
     More_List
     Eckmann_Hilton
-- 
cgit v1.2.3