aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
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"