diff -r 4cb70e7e36b9 -r 15e9ed5b28fb src/Benchmarks/ROOT
--- a/src/Benchmarks/ROOT	Thu Nov 08 22:02:07 2018 +0100
+++ b/src/Benchmarks/ROOT	Thu Nov 08 22:29:09 2018 +0100
@@ -1,9 +1,9 @@
 chapter HOL
 
 session "HOL-Datatype_Benchmark" in Datatype_Benchmark = "HOL-Library" +
-  description {*
+  description \<open>
     Big (co)datatypes.
-  *}
+\<close>
   theories
     Brackin
     IsaFoR
@@ -17,8 +17,8 @@
     Needham_Schroeder_Unguided_Attacker_Example
 
 session "HOL-Record_Benchmark" in Record_Benchmark = HOL +
-  description {*
+  description \<open>
     Big records.
-  *}
+\<close>
   theories
     Record_Benchmark