| changeset 62726 | 5b2a7caa855b |
| parent 62696 | 7325d8573fb8 |
| child 62858 | d72a6f9ee690 |
--- a/src/HOL/Corec_Examples/Tests/Merge_C.thy Mon Mar 28 12:05:47 2016 +0200 +++ b/src/HOL/Corec_Examples/Tests/Merge_C.thy Mon Mar 28 12:05:47 2016 +0200 @@ -6,7 +6,7 @@ Tests theory merges. *) -section {* Tests Theory Merges *} +section \<open>Tests Theory Merges\<close> theory Merge_C imports Merge_A