src/HOL/AxClasses/Lattice/Order.ML
1997-11-05 paulson 1997-11-05 Ran expandshort, especially to introduce Safe_tac
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-02-12 wenzelm 1997-02-12 tuned names: partial order, linear order;
1996-08-02 berghofe 1996-08-02 Classical tactics now use default claset.
1996-01-15 wenzelm 1996-01-15 added this stuff;