doc-src/TutorialI/fp.tex
2005-08-29 wenzelm tune spacing where a generated theory text is included directly;
2005-06-22 nipkow *** empty log message ***
2005-06-16 nipkow *** empty log message ***
2004-12-02 nipkow *** empty log message ***
2002-07-05 nipkow *** empty log message ***
2001-12-21 wenzelm removed Misc/Translations (text covered by Documents.thy);
2001-12-12 nipkow *** empty log message ***
2001-11-29 nipkow *** empty log message ***
2001-11-29 nipkow *** empty log message ***
2001-11-29 nipkow *** empty log message ***
2001-10-01 wenzelm updated output;
2001-08-03 paulson numerous stylistic changes and indexing
2001-07-26 paulson additional revisions to chapters 1, 2
2001-07-26 paulson revisions and indexing
2001-07-24 paulson tweaks and indexing
2001-07-17 paulson tidying the index
2001-07-13 paulson more indexing
2001-05-18 paulson minor suggestions by Tanja Vos
2001-05-17 paulson minor revisons
2001-05-10 nipkow *** empty log message ***
2001-03-19 nipkow *** empty log message ***
2001-03-19 nipkow *** empty log message ***
2001-03-19 nipkow *** empty log message ***
2001-03-13 nipkow *** empty log message ***
2001-03-12 nipkow *** empty log message ***
2001-02-20 nipkow *** empty log message ***
2001-01-26 nipkow *** empty log message ***
2001-01-25 nipkow *** empty log message ***
2001-01-24 nipkow *** empty log message ***
2001-01-12 paulson lcp's pass over the book, chapters 1-8
2001-01-08 nipkow *** empty log message ***
2001-01-06 nipkow *** empty log message ***
2001-01-05 paulson minor edits to Chapters 1-3
2000-12-13 nipkow *** empty log message ***
2000-12-06 nipkow *** empty log message ***
2000-11-30 nipkow *** empty log message ***
2000-11-29 nipkow *** empty log message ***
2000-11-27 nipkow *** empty log message ***
2000-11-06 nipkow *** empty log message ***
2000-10-17 nipkow *** empty log message ***
2000-10-10 paulson added a section label
2000-09-12 nipkow *** empty log message ***
2000-09-05 nipkow *** empty log message ***
2000-09-01 nipkow *** empty log message ***
2000-08-30 nipkow *** empty log message ***
2000-08-30 nipkow *** empty log message ***
2000-08-29 nipkow *** empty log message ***
2000-08-28 nipkow *** empty log message ***
2000-08-21 wenzelm updated;
2000-08-18 nipkow *** empty log message ***
2000-08-06 nipkow *** empty log message ***
2000-08-02 nipkow *** empty log message ***
2000-08-02 nipkow *** empty log message ***
2000-07-28 nipkow apply. -> by
2000-04-25 nipkow *** empty log message ***
2000-04-19 nipkow I wonder if that's all?
less more (0) tip