diff -r 5b9d79c6323b -r 02dd825f5a4e src/LCF/ROOT
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/LCF/ROOT	Tue Jul 24 14:07:44 2012 +0200
@@ -0,0 +1,16 @@
+session LCF! in "." = Pure +
+  description {*
+    Author:     Tobias Nipkow
+    Copyright   1992  University of Cambridge
+  *}
+  theories LCF
+
+session ex = LCF +
+  description {*
+    Author:     Tobias Nipkow
+    Copyright   1991  University of Cambridge
+
+    Some examples from Lawrence Paulson's book Logic and Computation.
+  *}
+  theories Ex1 Ex2 Ex3 Ex4
+