| 2009-07-30 | Christian Urban | polished the package chapter used FOCUS to explain the subproofs | file | diff | annotate |
| 2009-07-30 | Christian Urban | made changes for SUBPROOF and sat_tac | file | diff | annotate |
| 2009-05-30 | Christian Urban | added some first index-information | file | diff | annotate |
| 2009-05-17 | Christian Urban | some polishing; added together with Jasmin more examples to the pretty printing section | file | diff | annotate |
| 2009-04-15 | Christian Urban | replaced "warning" with "writeln" | file | diff | annotate |
| 2009-04-11 | Christian Urban | very slight polishing to the simple inductive chapter | file | diff | annotate |