diff -r 2a683fb686fd -r cbc2ac19d783 src/CCL/ROOT
--- a/src/CCL/ROOT	Tue Nov 11 11:47:53 2014 +0100
+++ b/src/CCL/ROOT	Tue Nov 11 13:40:13 2014 +0100
@@ -11,15 +11,13 @@
     evaluation to weak head-normal form.
   *}
   options [document = false]
-  theories Wfd Fix
+  theories
+    Wfd
+    Fix
 
-session "CCL-ex" in ex = CCL +
-  description {*
-    Author:     Martin Coen, Cambridge University Computer Laboratory
-    Copyright   1993  University of Cambridge
+    (* Examples for Classical Computational Logic *)
+    "ex/Nat"
+    "ex/List"
+    "ex/Stream"
+    "ex/Flag"
 
-    Examples for Classical Computational Logic.
-  *}
-  options [document = false]
-  theories Nat List Stream Flag
-