src/HOL/Induct/Mutil.ML
Fri, 03 Nov 2000 18:33:57 +0100 paulson new lemma card_Diff2_less for mulilated chess board
Tue, 12 Sep 2000 10:27:16 +0200 paulson tidying and updating for revised Mutilated Chess Board article
Thu, 29 Jun 2000 12:16:43 +0200 paulson tidied
Wed, 24 May 2000 18:41:49 +0200 paulson replacing "below" by "lessThan"
Tue, 16 May 2000 14:04:29 +0200 paulson reverted to old proof of dominoes_tile_row, given new treatment of #2+...
Tue, 02 May 2000 18:55:11 +0200 paulson modified for new simprocs
Thu, 13 Apr 2000 15:01:50 +0200 nipkow Times -> <*>
Mon, 27 Mar 2000 16:25:53 +0200 paulson simplified constant "colored"
Thu, 23 Mar 2000 10:23:54 +0100 paulson now exclusively uses rtac/dtac/etac rather than the long forms
Wed, 22 Mar 2000 13:01:57 +0100 paulson made more robust
Thu, 09 Mar 2000 18:27:18 +0100 paulson nicely tarted up Mutil
Sat, 04 Mar 2000 11:52:42 +0100 paulson tidied
Tue, 07 Sep 1999 10:40:58 +0200 wenzelm isatool expandshort;
Tue, 31 Aug 1999 16:04:43 +0200 paulson tidied
Fri, 09 Oct 1998 11:16:04 +0200 nipkow Multisets at last!
Tue, 15 Sep 1998 15:04:07 +0200 paulson From Compl(A) to -A
Tue, 01 Sep 1998 15:05:59 +0200 paulson tidied
Fri, 24 Jul 1998 13:19:38 +0200 berghofe Adapted to new datatype package.
Wed, 15 Jul 1998 10:15:13 +0200 paulson Removal of leading "\!\!..." from most Goal commands
Mon, 22 Jun 1998 17:26:46 +0200 wenzelm isatool fixgoal;
Sat, 07 Mar 1998 16:29:29 +0100 nipkow Removed `addsplits [expand_if]'
Wed, 24 Dec 1997 10:02:30 +0100 paulson New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
Thu, 11 Dec 1997 10:30:33 +0100 paulson Tidied final proof
Fri, 05 Dec 1997 17:14:36 +0100 wenzelm adapted proofs to cope with simprocs nat_cancel (by Stefan Berghofer);
Fri, 28 Nov 1997 16:17:30 +0100 nipkow Removed "open Mutil;"
Mon, 03 Nov 1997 12:13:18 +0100 wenzelm isatool fixclasimp;
Fri, 17 Oct 1997 15:25:12 +0200 nipkow setloop split_tac -> addsplits
Fri, 26 Sep 1997 10:21:14 +0200 paulson Minor tidying to use Clarify_tac, etc.
Fri, 06 Jun 1997 10:46:26 +0200 paulson Much polishing of proofs
Thu, 05 Jun 1997 14:40:35 +0200 nipkow Modified a few defs and proofs because of the changes to theory Finite.thy.
Tue, 27 May 1997 13:25:00 +0200 paulson Removal of card_insert_disjoint, which is now a default rewrite rule
Wed, 07 May 1997 12:50:26 +0200 paulson New directory to contain examples of (co)inductive definitions
less more (0) tip