src/HOL/Tools/rewrite_hol_proof.ML
2006-06-06 wenzelm 2006-06-06 tuned;
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-02-11 berghofe 2005-02-11 Fully qualified refl and trans to avoid confusion with theorems in Lattice_Locales.partial_order.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-04-23 berghofe 2003-04-23 elim_cong now eta-expands proofs on the fly if required.
2002-09-30 berghofe 2002-09-30 - additional congruence rules for boolean operators - additional rewrite rules for exI / exE
2002-07-21 berghofe 2002-07-21 Rules for rewriting HOL proofs.