src/HOL/AxClasses/Lattice/LatInsts.ML
1997-11-05 paulson 1997-11-05 Ran expandshort, especially to introduce Safe_tac
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1996-08-02 berghofe 1996-08-02 Classical tactics now use default claset.
1996-01-30 clasohm 1996-01-30 expanded tabs
1996-01-15 wenzelm 1996-01-15 added this stuff;