CookBook/Readme.thy
2009-02-13 Christian Urban properly handled linenumbers in ML-text and Isar-proofs
2009-02-09 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
2009-02-08 Christian Urban polished
less more (0) -10 -3 tip