src/HOL/ex/Puzzle.ML
Wed, 17 Nov 1999 11:16:26 +0100 paulson tidied
Mon, 15 Nov 1999 09:41:06 +0100 nipkow Streamlined it a bit.
Fri, 21 May 1999 10:56:46 +0200 paulson preferring generic rules to specific ones...
Wed, 07 Oct 1998 10:31:07 +0200 paulson tidied
Fri, 11 Sep 1998 16:25:40 +0200 paulson fixed PROOF FAILED
Thu, 10 Sep 1998 17:27:15 +0200 paulson tidied
Mon, 22 Jun 1998 17:26:46 +0200 wenzelm isatool fixgoal;
Mon, 03 Nov 1997 12:13:18 +0100 wenzelm isatool fixclasimp;
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Mon, 26 May 1997 12:33:38 +0200 paulson Renamed lessD to Suc_leI
Wed, 12 Feb 1997 18:54:39 +0100 nipkow New class "order" and accompanying changes.
Thu, 26 Sep 1996 12:47:47 +0200 paulson Ran expandshort
Mon, 23 Sep 1996 18:26:51 +0200 paulson Proofs made more robust to work in presence of le_refl
Fri, 21 Jun 1996 12:18:50 +0200 berghofe Classical tactics now use default claset.
Tue, 23 Apr 1996 16:58:57 +0200 oheimb repaired critical proofs depending on the order inside non-confluent SimpSets
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Wed, 04 Oct 1995 13:12:14 +0100 clasohm added local simpsets
Wed, 22 Mar 1995 12:42:34 +0100 clasohm converted ex with curried function application
less more (0) tip