changeset 60770 | 240563fbf41d |
parent 59788 | 6f7b6adac439 |
child 69587 | 53982d5ec0bb |
--- a/src/ZF/UNITY/Increasing.thy Thu Jul 23 14:20:51 2015 +0200 +++ b/src/ZF/UNITY/Increasing.thy Thu Jul 23 14:25:05 2015 +0200 @@ -6,7 +6,7 @@ relation r over the domain A. *) -section{*Charpentier's "Increasing" Relation*} +section\<open>Charpentier's "Increasing" Relation\<close> theory Increasing imports Constrains Monotonicity begin