doc-src/TutorialI/fp.tex
2011-08-08 nipkow 2011-08-08 fixed index entry
2011-08-08 nipkow 2011-08-08 removed old recdef and types usage
2008-07-30 nipkow 2008-07-30 added hint about writing "x : set xs".
2008-05-29 nipkow 2008-05-29 *** empty log message ***
2007-11-05 nipkow 2007-11-05 removed advanced recdef section and replaced it by citation of Alex's tutorial.
2007-11-02 nipkow 2007-11-02 *** empty log message ***
2007-11-02 nipkow 2007-11-02 recdef -> fun
2007-11-01 nipkow 2007-11-01 recdef -> fun
2005-08-29 wenzelm 2005-08-29 tune spacing where a generated theory text is included directly;
2005-06-22 nipkow 2005-06-22 *** empty log message ***
2005-06-16 nipkow 2005-06-16 *** empty log message ***
2004-12-02 nipkow 2004-12-02 *** empty log message ***
2002-07-05 nipkow 2002-07-05 *** empty log message ***
2001-12-21 wenzelm 2001-12-21 removed Misc/Translations (text covered by Documents.thy);
2001-12-12 nipkow 2001-12-12 *** empty log message ***
2001-11-29 nipkow 2001-11-29 *** empty log message ***
2001-11-29 nipkow 2001-11-29 *** empty log message ***
2001-11-29 nipkow 2001-11-29 *** empty log message ***
2001-10-01 wenzelm 2001-10-01 updated output;
2001-08-03 paulson 2001-08-03 numerous stylistic changes and indexing
2001-07-26 paulson 2001-07-26 additional revisions to chapters 1, 2
2001-07-26 paulson 2001-07-26 revisions and indexing
2001-07-24 paulson 2001-07-24 tweaks and indexing
2001-07-17 paulson 2001-07-17 tidying the index
2001-07-13 paulson 2001-07-13 more indexing
2001-05-18 paulson 2001-05-18 minor suggestions by Tanja Vos
2001-05-17 paulson 2001-05-17 minor revisons
2001-05-10 nipkow 2001-05-10 *** empty log message ***
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-03-13 nipkow 2001-03-13 *** empty log message ***
2001-03-12 nipkow 2001-03-12 *** empty log message ***
2001-02-20 nipkow 2001-02-20 *** empty log message ***
2001-01-26 nipkow 2001-01-26 *** empty log message ***
2001-01-25 nipkow 2001-01-25 *** empty log message ***
2001-01-24 nipkow 2001-01-24 *** empty log message ***
2001-01-12 paulson 2001-01-12 lcp's pass over the book, chapters 1-8
2001-01-08 nipkow 2001-01-08 *** empty log message ***
2001-01-06 nipkow 2001-01-06 *** empty log message ***
2001-01-05 paulson 2001-01-05 minor edits to Chapters 1-3
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-12-06 nipkow 2000-12-06 *** empty log message ***
2000-11-30 nipkow 2000-11-30 *** empty log message ***
2000-11-29 nipkow 2000-11-29 *** empty log message ***
2000-11-27 nipkow 2000-11-27 *** empty log message ***
2000-11-06 nipkow 2000-11-06 *** empty log message ***
2000-10-17 nipkow 2000-10-17 *** empty log message ***
2000-10-10 paulson 2000-10-10 added a section label
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-05 nipkow 2000-09-05 *** empty log message ***
2000-09-01 nipkow 2000-09-01 *** empty log message ***
2000-08-30 nipkow 2000-08-30 *** empty log message ***
2000-08-30 nipkow 2000-08-30 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-28 nipkow 2000-08-28 *** empty log message ***
2000-08-21 wenzelm 2000-08-21 updated;
2000-08-18 nipkow 2000-08-18 *** empty log message ***
2000-08-06 nipkow 2000-08-06 *** empty log message ***
2000-08-02 nipkow 2000-08-02 *** empty log message ***