doc-src/TutorialI/Misc/simp.thy
2005-06-21 nipkow 2005-06-21 added find thms section
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-10 nipkow 2005-06-10 tuning
2003-02-10 nipkow 2003-02-10 *** empty log message ***
2002-10-03 nipkow 2002-10-03 *** empty log message ***
2002-01-04 wenzelm 2002-01-04 tuned;
2001-12-21 wenzelm 2001-12-21 removed Misc/Translations (text covered by Documents.thy);
2001-12-18 nipkow 2001-12-18 *** empty log message ***
2001-12-13 nipkow 2001-12-13 *** empty log message ***
2001-12-12 nipkow 2001-12-12 *** empty log message ***
2001-11-29 nipkow 2001-11-29 *** empty log message ***
2001-08-09 paulson 2001-08-09 revisions and indexing
2001-08-03 paulson 2001-08-03 numerous stylistic changes and indexing
2001-07-17 paulson 2001-07-17 tidying the index
2001-05-18 paulson 2001-05-18 minor suggestions by Tanja Vos
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-03-14 nipkow 2001-03-14 *** empty log message ***
2001-01-26 nipkow 2001-01-26 *** 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-05 paulson 2001-01-05 minor edits to Chapters 1-3
2001-01-05 nipkow 2001-01-05 *** empty log message ***
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-10-31 nipkow 2000-10-31 *** empty log message ***
2000-10-09 nipkow 2000-10-09 *** empty log message ***
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-11 wenzelm 2000-09-11 dummy;