src/CTT/ROOT
changeset 69272 15e9ed5b28fb
parent 65447 fae6051ec192
child 69319 baccaf89ca0d
--- a/src/CTT/ROOT	Thu Nov 08 22:02:07 2018 +0100
+++ b/src/CTT/ROOT	Thu Nov 08 22:29:09 2018 +0100
@@ -1,7 +1,7 @@
 chapter CTT
 
 session CTT = Pure +
-  description {*
+  description \<open>
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
@@ -15,7 +15,7 @@
 
     Simon Thompson, Type Theory and Functional Programming (Addison-Wesley,
     1991)
-  *}
+\<close>
   options [thy_output_source]
   theories
     CTT