From a9606c980dcc32ade28ebd1515cad33b380ebd64 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 28 May 2020 12:54:40 +0200
Subject: reorganize folder structure

---
 ROOT | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'ROOT')

diff --git a/ROOT b/ROOT
index 4a48f25..61c5cc4 100644
--- a/ROOT
+++ b/ROOT
@@ -1,9 +1,8 @@
 session Spartan_Core in "spartan/core" = Pure +
   description "
-    Spartan type theory: a minimal dependent type theory based on
-    intensional Martin-Löf type theory with cumulative Russell-style universes,
-    Pi, Sigma and identity types. This session consists only of the very core
-    theory files.
+    Spartan type theory: a minimal dependent type theory based on intensional
+    Martin-Löf type theory with cumulative Russell-style universes, Pi types and
+    Sigma types. This session consists only of the very core theory files.
   "
   sessions
     "HOL-Eisbach"
-- 
cgit v1.2.3