changeset 25614 | 0b8baa94b866 |
parent 25510 | 38c15efe603b |
child 26014 | 00c2c3525bef |
--- a/src/HOL/Orderings.thy Thu Dec 13 07:09:01 2007 +0100 +++ b/src/HOL/Orderings.thy Thu Dec 13 07:09:02 2007 +0100 @@ -3,7 +3,7 @@ Author: Tobias Nipkow, Markus Wenzel, and Larry Paulson *) -header {* Syntactic and abstract orders *} +header {* Abstract orderings *} theory Orderings imports Set Fun