Tue, 26 Aug 2008 14:15:44 +0200 | krauss | function package: name primitive defs "f_sumC_def" instead of "f_sum_def" to avoid clashes | file | diff | annotate |
Fri, 25 Jul 2008 12:03:34 +0200 | haftmann | added class preorder | file | diff | annotate |
Tue, 06 Nov 2007 17:44:53 +0100 | krauss | moved stuff about size change termination to its own session | file | diff | annotate |