--- a/src/HOL/AxClasses/Lattice/OrdDefs.ML Wed Oct 21 16:04:57 1998 +0200 +++ b/src/HOL/AxClasses/Lattice/OrdDefs.ML Wed Oct 21 16:06:09 1998 +0200 @@ -1,5 +1,3 @@ - -open OrdDefs; (** lifting of quasi / partial orders **)