| Mon, 30 Apr 2012 14:43:52 +0100 | Christian Urban | removed special ML-setup and replaced it by explicit markups (i.e., %grayML) | file | diff | annotate |
| Sun, 25 Oct 2009 16:12:05 +0100 | Christian Urban | polished | file | diff | annotate |
| Tue, 13 Oct 2009 22:57:25 +0200 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | file | diff | annotate |
| Thu, 30 Jul 2009 15:51:51 +0200 | Christian Urban | polished the package chapter used FOCUS to explain the subproofs | file | diff | annotate |
| Wed, 22 Jul 2009 01:10:14 +0200 | Christian Urban | tuned | file | diff | annotate |
| Tue, 05 May 2009 03:21:49 +0200 | Christian Urban | fixed the problem with double definition of even and odd | file | diff | annotate |
| Sat, 11 Apr 2009 19:23:58 +0000 | Christian Urban | very slight polishing to the simple inductive chapter | file | diff | annotate |