src/HOL/Tools/rewrite_hol_proof.ML
2007-02-07 berghofe 2007-02-07 Fixed bug in mk_AbsP.
2006-12-05 wenzelm 2006-12-05 thm/prf: separate official name vs. additional tags;
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.