| 2009-10-13 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| 2009-07-30 | Christian Urban | polished the package chapter used FOCUS to explain the subproofs | file | diff | annotate |
| 2009-07-21 | Christian Urban | tuned | file | diff | annotate |