| 2009-02-22 | Christian Urban | polished the section about simprocs and added an exercise | file | diff | annotate |
| 2009-02-22 | Christian Urban | started a section about simprocs | file | diff | annotate |
| 2009-02-21 | Christian Urban | polished | file | diff | annotate |
| 2009-02-19 | Christian Urban | polished | file | diff | annotate |
| 2009-02-15 | Christian Urban | some polishing; split up the file External Solver into two | file | diff | annotate |
| 2009-02-14 | Christian Urban | polished and added more material to the package chapter | file | diff | annotate |
| 2009-02-13 | Christian Urban | properly handled linenumbers in ML-text and Isar-proofs | file | diff | annotate |
| 2009-02-12 | Christian Urban | polished | file | diff | annotate |