src/HOL/Hoare/Examples.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-05-30 paulson 1997-05-30 Replacement of "divides" by "dvd" from Divides.thy, and updating of proofs
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-07-19 berghofe 1996-07-19 Classical tactics now use default claset.
1996-06-14 paulson 1996-06-14 Explicitly included add_mult_distrib & add_mult_distrib2
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-17 nipkow 1995-11-17 New directory. Hoare logic according to Mike Gordon.