| Sat, 25 Apr 2009 14:28:58 +0200 | Christian Urban | replaced explode by Symbol.explode | changeset | files |
| Wed, 15 Apr 2009 13:11:08 +0000 | Christian Urban | replaced "warning" with "writeln" | changeset | files |
| Mon, 13 Apr 2009 08:30:48 +0000 | Christian Urban | added something about TRY and TRYALL | changeset | files |
| Sat, 11 Apr 2009 19:23:58 +0000 | Christian Urban | very slight polishing to the simple inductive chapter | changeset | files |