changeset 62290 | 658276428cfc |
parent 62286 | 705d4c4003ea |
child 66453 | cc19f7ca2ed6 |
--- a/src/Benchmarks/Datatype_Benchmark/IsaFoR.thy Sat Feb 13 12:33:55 2016 +0100 +++ b/src/Benchmarks/Datatype_Benchmark/IsaFoR.thy Sat Feb 13 12:39:00 2016 +0100 @@ -5,7 +5,7 @@ Benchmark consisting of datatypes defined in IsaFoR. *) -section {* Benchmark Consisting of Datatypes Defined in IsaFoR *} +section \<open>Benchmark Consisting of Datatypes Defined in IsaFoR\<close> theory IsaFoR imports Real