| Tue, 21 Jul 2009 12:11:24 +0200 | griff | included an alternative solution for the "rev_sum" example as a comment | file | diff | annotate |
| Wed, 15 Apr 2009 13:11:08 +0000 | Christian Urban | replaced "warning" with "writeln" | file | diff | annotate |
| Thu, 02 Apr 2009 11:48:35 +0100 | Christian Urban | section for further material about simple inductive | file | diff | annotate |