--- a/src/Sequents/ROOT Sat Feb 01 17:56:03 2014 +0100
+++ b/src/Sequents/ROOT Sat Feb 01 18:00:28 2014 +0100
@@ -48,17 +48,9 @@
S4
S43
-session "Sequents-LK" in LK = Sequents +
- description {*
- Author: Lawrence C Paulson, Cambridge University Computer Laboratory
- Copyright 1992 University of Cambridge
+ (* Examples for Classical Logic *)
+ "LK/Propositional"
+ "LK/Quantifiers"
+ "LK/Hard_Quantifiers"
+ "LK/Nat"
- Examples for Classical Logic.
- *}
- options [document = false]
- theories
- Propositional
- Quantifiers
- Hard_Quantifiers
- Nat
-