diff -r 4cb70e7e36b9 -r 15e9ed5b28fb src/CCL/ROOT
--- a/src/CCL/ROOT	Thu Nov 08 22:02:07 2018 +0100
+++ b/src/CCL/ROOT	Thu Nov 08 22:29:09 2018 +0100
@@ -1,7 +1,7 @@
 chapter CCL
 
 session CCL = Pure +
-  description {*
+  description \<open>
     Author:     Martin Coen, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
@@ -9,7 +9,7 @@
 
     A computational logic for an untyped functional language with
     evaluation to weak head-normal form.
-  *}
+\<close>
   sessions
     FOL
   theories