src/Cube/ROOT

--- a/src/Cube/ROOT	Thu Nov 08 22:02:07 2018 +0100
+++ b/src/Cube/ROOT	Thu Nov 08 22:29:09 2018 +0100
@@ -1,7 +1,7 @@
 chapter Cube
 
 session Cube = Pure +
-  description {*
+  description \<open>
     Author:     Tobias Nipkow
     Copyright   1992  University of Cambridge
 
@@ -12,5 +12,5 @@
 
     For more information about the Lambda-Cube, see H. Barendregt, Introduction
     to Generalised Type Systems, J. Functional Programming.
-  *}
+\<close>
   theories Example