--- a/src/HOL/AxClasses/Lattice/LatMorph.ML Wed Oct 21 16:04:57 1998 +0200 +++ b/src/HOL/AxClasses/Lattice/LatMorph.ML Wed Oct 21 16:06:09 1998 +0200 @@ -1,5 +1,3 @@ - -open LatMorph; (** monotone functions vs. "&&"- / "||"-semi-morphisms **)