diff -r 5b9d79c6323b -r 02dd825f5a4e src/Sequents/ROOT
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Sequents/ROOT	Tue Jul 24 14:07:44 2012 +0200
@@ -0,0 +1,18 @@
+session Sequents! in "." = Pure +
+  description {*
+    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Copyright   1991  University of Cambridge
+
+    Classical Sequent Calculus based on Pure Isabelle.
+  *}
+  theories LK ILL ILL_predlog Washing Modal0 T S4 S43
+
+session LK = Sequents +
+  description {*
+    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Copyright   1992  University of Cambridge
+
+    Examples for Classical Logic.
+  *}
+  theories Propositional Quantifiers Hard_Quantifiers Nat
+