doc-src/TutorialI/fp.tex
Thu, 26 Jul 2012 19:08:14 +0200 wenzelm avoid clash of Misc/pairs.thy and Types/Pairs.thy on case-insensible file-system;
Thu, 26 Jul 2012 18:55:42 +0200 wenzelm recovered latex job;
Mon, 08 Aug 2011 08:25:28 +0200 nipkow fixed index entry
Mon, 08 Aug 2011 07:35:42 +0200 nipkow removed old recdef and types usage
Wed, 30 Jul 2008 16:07:00 +0200 nipkow added hint about writing "x : set xs".
Thu, 29 May 2008 22:45:33 +0200 nipkow *** empty log message ***
Mon, 05 Nov 2007 15:37:41 +0100 nipkow removed advanced recdef section and replaced it by citation of Alex's tutorial.
Fri, 02 Nov 2007 15:56:49 +0100 nipkow *** empty log message ***
Fri, 02 Nov 2007 08:59:15 +0100 nipkow recdef -> fun
Thu, 01 Nov 2007 20:20:19 +0100 nipkow recdef -> fun
Mon, 29 Aug 2005 16:18:02 +0200 wenzelm tune spacing where a generated theory text is included directly;
Wed, 22 Jun 2005 09:26:18 +0200 nipkow *** empty log message ***
Thu, 16 Jun 2005 18:25:54 +0200 nipkow *** empty log message ***
Thu, 02 Dec 2004 10:36:20 +0100 nipkow *** empty log message ***
Fri, 05 Jul 2002 17:48:05 +0200 nipkow *** empty log message ***
Fri, 21 Dec 2001 19:55:39 +0100 wenzelm removed Misc/Translations (text covered by Documents.thy);
Wed, 12 Dec 2001 09:04:20 +0100 nipkow *** empty log message ***
Thu, 29 Nov 2001 21:12:37 +0100 nipkow *** empty log message ***
Thu, 29 Nov 2001 14:12:42 +0100 nipkow *** empty log message ***
Thu, 29 Nov 2001 13:33:45 +0100 nipkow *** empty log message ***
Mon, 01 Oct 2001 14:42:47 +0200 wenzelm updated output;
Fri, 03 Aug 2001 18:04:55 +0200 paulson numerous stylistic changes and indexing
Thu, 26 Jul 2001 18:23:38 +0200 paulson additional revisions to chapters 1, 2
Thu, 26 Jul 2001 16:43:02 +0200 paulson revisions and indexing
Tue, 24 Jul 2001 11:25:54 +0200 paulson tweaks and indexing
Tue, 17 Jul 2001 13:46:21 +0200 paulson tidying the index
Fri, 13 Jul 2001 18:07:01 +0200 paulson more indexing
Fri, 18 May 2001 17:18:43 +0200 paulson minor suggestions by Tanja Vos
Thu, 17 May 2001 11:29:04 +0200 paulson minor revisons
Thu, 10 May 2001 13:44:44 +0200 nipkow *** empty log message ***
less more (0) -50 -30 tip