| Fri, 27 Mar 2009 10:05:11 +0100 | haftmann | normalized imports | file | diff | annotate |
| Thu, 28 Aug 2008 15:33:33 +0200 | krauss | quicksort: function -> fun | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:34 +0200 | haftmann | added class preorder | file | diff | annotate |
| Mon, 14 Jul 2008 19:20:28 +0200 | haftmann | tuned | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Tue, 16 Oct 2007 23:12:45 +0200 | haftmann | global class syntax | file | diff | annotate |
| Tue, 18 Sep 2007 05:42:46 +0200 | nipkow | Added function package to PreList | file | diff | annotate |