changeset 2624 | ab311b6e5e29 |
parent 2608 | 450c9b682a92 |
child 3143 | d60e49b86c6a |
--- a/src/HOL/Ord.thy Fri Feb 14 15:29:20 1997 +0100 +++ b/src/HOL/Ord.thy Fri Feb 14 15:32:00 1997 +0100 @@ -3,7 +3,7 @@ Author: Tobias Nipkow, Cambridge University Computer Laboratory Copyright 1993 University of Cambridge -Type class for order signatures. +Type classes for order signatures and orders. *) Ord = HOL +