src/HOL/Induct/Mutil.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 05 Dec 2003 12:58:18 +0100 paulson stylistic changes
Tue, 13 Nov 2001 22:18:03 +0100 wenzelm tuned inductions;
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Fri, 28 Sep 2001 20:09:10 +0200 wenzelm inductive: no collective atts;
Mon, 06 Aug 2001 13:43:24 +0200 nipkow turned translation for 1::nat into def.
Sat, 03 Feb 2001 17:40:16 +0100 wenzelm Induct: converted some theories to new-style format;
Tue, 12 Sep 2000 10:27:16 +0200 paulson tidying and updating for revised Mutilated Chess Board article
Wed, 24 May 2000 18:41:49 +0200 paulson replacing "below" by "lessThan"
Tue, 02 May 2000 18:55:11 +0200 paulson modified for new simprocs
Mon, 27 Mar 2000 16:25:53 +0200 paulson simplified constant "colored"
Thu, 09 Mar 2000 18:27:18 +0100 paulson nicely tarted up Mutil
Sat, 04 Mar 2000 12:02:41 +0100 paulson tidied
Wed, 18 Nov 1998 15:10:46 +0100 paulson Finally removing "Compl" from HOL
Fri, 06 Jun 1997 10:47:16 +0200 paulson Tidying and simplification of declarations
Wed, 07 May 1997 12:50:26 +0200 paulson New directory to contain examples of (co)inductive definitions
less more (0) tip