| Wed, 15 Apr 2009 13:11:08 +0000 | Christian Urban | replaced "warning" with "writeln" | file | diff | annotate |
| Sat, 11 Apr 2009 19:23:58 +0000 | Christian Urban | very slight polishing to the simple inductive chapter | file | diff | annotate |
| Wed, 01 Apr 2009 15:42:47 +0100 | Christian Urban | finished the heavy duty stuff for the inductive package | file | diff | annotate |