--- a/src/ZF/UNITY/Comp.thy Thu Jul 23 14:20:51 2015 +0200 +++ b/src/ZF/UNITY/Comp.thy Thu Jul 23 14:25:05 2015 +0200 @@ -13,7 +13,7 @@ *) -section{*Composition*} +section\<open>Composition\<close> theory Comp imports Union Increasing begin