aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
authorJosh Chen2020-05-28 12:54:40 +0200
committerJosh Chen2020-05-28 12:54:40 +0200
commita9606c980dcc32ade28ebd1515cad33b380ebd64 (patch)
treef2ad021819c1dde986d204a5408efeb86acd6c4d /ROOT
parentf12983b1b53c71fc416155ac4b7e2b11ed8ca9ef (diff)
reorganize folder structure
Diffstat (limited to '')
-rw-r--r--ROOT7
1 files changed, 3 insertions, 4 deletions
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"