doc-src/TutorialI/basics.tex
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 Adapted text to new theory header syntax.
2003-02-10 nipkow 2003-02-10 *** empty log message ***
2002-07-31 nipkow 2002-07-31 *** empty log message ***
2002-01-08 wenzelm 2002-01-08 \chapter{The Basics};
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-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 added\\protect
2001-07-11 paulson 2001-07-11 tweak
2001-05-16 paulson 2001-05-16 spelling
2001-03-19 nipkow 2001-03-19 *** empty log message ***
2001-03-15 nipkow 2001-03-15 *** 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-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-05 paulson 2001-01-05 minor edits to Chapters 1-3
2000-12-18 nipkow 2000-12-18 *** empty log message ***
2000-11-29 nipkow 2000-11-29 *** empty log message ***
2000-11-06 nipkow 2000-11-06 *** empty log message ***
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-01 nipkow 2000-09-01 *** empty log message ***
2000-08-28 nipkow 2000-08-28 *** empty log message ***
2000-08-06 nipkow 2000-08-06 *** empty log message ***
2000-04-25 nipkow 2000-04-25 *** empty log message ***
2000-04-19 nipkow 2000-04-19 I wonder if that's all?