CookBook/Intro.thy
2009-02-17 Christian Urban polished
2009-02-16 Christian Urban polishing
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-02-14 Christian Urban added an acknowledgement section
2009-02-11 Christian Urban added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)
2009-02-09 Christian Urban polished and more material in the tactic chapter
2009-02-09 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
less more (0) -10 -7 tip