src/HOL/AxClasses/Lattice/LatMorph.ML
Mon, 15 Jan 1996 15:49:21 +0100 wenzelm added this stuff;
less more (0) tip