src/HOL/cladata.ML
Wed, 12 Nov 1997 18:58:50 +0100 oheimb added thin_refl to hyp_subst_tac
Wed, 12 Nov 1997 12:34:43 +0100 oheimb restored last version
Wed, 12 Nov 1997 12:30:15 +0100 oheimb simpdata.ML: renamed split_prem_tac to split_asm_tac, added split_if_asm
Thu, 06 Nov 1997 10:29:37 +0100 paulson hyp_subst_tac checks if the equality has type variables and uses a suitable
Mon, 03 Nov 1997 12:09:20 +0100 wenzelm adapted to new implicit claset;
Sat, 01 Nov 1997 12:59:06 +0100 paulson New Blast_tac (and minor tidying...)
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Wed, 06 Aug 1997 01:13:46 +0200 berghofe Moved some functions which used to be part of thy_data.ML
Mon, 21 Apr 1997 12:16:29 +0200 paulson New elimination rule for "unique existence"
Thu, 03 Apr 1997 10:30:23 +0200 paulson Declares overloading for if-and-only-if
Wed, 02 Apr 1997 11:30:03 +0200 paulson Installation of blast_tac
Thu, 12 Sep 1996 10:40:05 +0200 paulson Tidied many proofs, using AddIffs to let equivalences take
less more (0) tip