src/HOL/AxClasses/Lattice/LatMorph.ML
changeset 5711 5a1cd4b4b20e
parent 5069 3ea049f7979d
--- 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 **)