--- a/src/LCF/ex/Ex4.thy Thu Jul 23 14:20:51 2015 +0200 +++ b/src/LCF/ex/Ex4.thy Thu Jul 23 14:25:05 2015 +0200 @@ -1,5 +1,5 @@ -section {* Prefixpoints *} +section \<open>Prefixpoints\<close> theory Ex4 imports "../LCF"