--- 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