src/Sequents/ROOT
changeset 55229 08f2ebb65078
parent 51403 2ff3a5589b05
child 66946 3d8fd98c7c86
--- 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
-