src/HOL/Tools/rewrite_hol_proof.ML
Tue, 06 Jun 2006 20:42:28 +0200 wenzelm tuned;
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Fri, 11 Feb 2005 18:51:00 +0100 berghofe Fully qualified refl and trans to avoid confusion with theorems
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Wed, 23 Apr 2003 00:12:14 +0200 berghofe elim_cong now eta-expands proofs on the fly if required.
Mon, 30 Sep 2002 16:27:38 +0200 berghofe - additional congruence rules for boolean operators
Sun, 21 Jul 2002 15:43:14 +0200 berghofe Rules for rewriting HOL proofs.
less more (0) tip