| 2009-02-12 | Christian Urban | rearranged some functions | file | diff | annotate |
| 2009-02-12 | Christian Urban | recovered old version of simple_induct; split the main function into small functions | file | diff | annotate |
| 2009-02-12 | Christian Urban | polished | file | diff | annotate |
| 2009-02-11 | Christian Urban | added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*) | file | diff | annotate |
| 2009-02-09 | Christian Urban | polished and more material in the tactic chapter | file | diff | annotate |
| 2009-02-09 | Christian Urban | renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious) | file | diff | annotate |