doc-src/TutorialI/Misc/AdvancedInd.thy
Mon, 23 Jun 2008 15:26:49 +0200 wenzelm induct_tac: old conjunctive rules no longer supported;
Thu, 01 Nov 2007 20:20:19 +0100 nipkow recdef -> fun
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 18 Jan 2002 18:30:19 +0100 wenzelm tuned;
Thu, 10 Jan 2002 11:22:03 +0100 nipkow *** empty log message ***
Thu, 13 Dec 2001 19:05:10 +0100 nipkow *** empty log message ***
Thu, 09 Aug 2001 18:12:15 +0200 paulson revisions and indexing
Tue, 17 Jul 2001 13:46:21 +0200 paulson tidying the index
Wed, 02 May 2001 11:54:18 +0200 nipkow *** empty log message ***
Tue, 01 May 2001 22:26:55 +0200 nipkow *** empty log message ***
Tue, 17 Apr 2001 16:54:38 +0200 nipkow *** empty log message ***
Wed, 07 Mar 2001 15:54:11 +0100 nipkow *** empty log message ***
Fri, 12 Jan 2001 16:32:01 +0100 paulson lcp's pass over the book, chapters 1-8
Wed, 13 Dec 2000 09:39:53 +0100 nipkow *** empty log message ***
Wed, 08 Nov 2000 14:38:04 +0100 nipkow *** empty log message ***
Mon, 06 Nov 2000 11:32:23 +0100 nipkow *** empty log message ***
Tue, 31 Oct 2000 13:59:41 +0100 nipkow *** empty log message ***
Wed, 25 Oct 2000 18:24:33 +0200 nipkow *** empty log message ***
Fri, 20 Oct 2000 08:46:41 +0200 nipkow *** empty log message ***
Wed, 18 Oct 2000 17:19:18 +0200 nipkow *** empty log message ***
Wed, 18 Oct 2000 12:30:59 +0200 paulson wellfounded -> well-founded
Tue, 17 Oct 2000 13:28:57 +0200 nipkow *** empty log message ***
Fri, 13 Oct 2000 18:02:08 +0200 nipkow *** empty log message ***
Wed, 11 Oct 2000 09:09:06 +0200 nipkow *** empty log message ***
Tue, 12 Sep 2000 22:13:23 +0200 wenzelm renamed atts: rulify to rule_format, elimify to elim_format;
Tue, 12 Sep 2000 15:43:15 +0200 nipkow *** empty log message ***
Mon, 11 Sep 2000 17:59:53 +0200 wenzelm renamed "rulify" to "rulified";
Tue, 05 Sep 2000 09:03:17 +0200 nipkow *** empty log message ***
Fri, 01 Sep 2000 19:09:44 +0200 nipkow *** empty log message ***
Tue, 29 Aug 2000 16:05:13 +0200 nipkow *** empty log message ***
Mon, 28 Aug 2000 09:32:51 +0200 nipkow *** empty log message ***
Fri, 18 Aug 2000 11:14:23 +0200 nipkow *** empty log message ***
less more (0) tip