changeset 63167 | 0909deb8059b |
parent 58889 | 5b7a9633cfa8 |
--- a/src/HOL/Datatype_Examples/TreeFI.thy Thu May 26 16:57:14 2016 +0200 +++ b/src/HOL/Datatype_Examples/TreeFI.thy Thu May 26 17:51:22 2016 +0200 @@ -6,7 +6,7 @@ Finitely branching possibly infinite trees. *) -section {* Finitely Branching Possibly Infinite Trees *} +section \<open>Finitely Branching Possibly Infinite Trees\<close> theory TreeFI imports Main