src/HOL/AxClasses/Lattice/LatInsts.ML
1996-01-15 wenzelm 1996-01-15 added this stuff;