src/HOL/AxClasses/Lattice/LatMorph.ML
Mon, 03 Nov 1997 12:24:13 +0100 wenzelm isatool fixclasimp;
Fri, 02 Aug 1996 12:25:26 +0200 berghofe Classical tactics now use default claset.
Mon, 15 Jan 1996 15:49:21 +0100 wenzelm added this stuff;
less more (0) tip