diff -r f3351bb4390e -r baccaf89ca0d src/Benchmarks/ROOT
--- a/src/Benchmarks/ROOT	Tue Nov 20 13:44:06 2018 +0100
+++ b/src/Benchmarks/ROOT	Tue Nov 20 13:46:13 2018 +0100
@@ -1,9 +1,9 @@
 chapter HOL
 
 session "HOL-Datatype_Benchmark" in Datatype_Benchmark = "HOL-Library" +
-  description \<open>
+  description "
     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 \<open>
+  description "
     Big records.
-\<close>
+  "
   theories
     Record_Benchmark