Wed, 29 Apr 2009 14:20:26 +0200 | haftmann | farewell to class recpower | file | diff | annotate |
Wed, 04 Mar 2009 17:12:23 -0800 | huffman | declare power_Suc [simp]; remove redundant type-specific versions of power_Suc | file | diff | annotate |
Wed, 21 Jan 2009 23:40:23 +0100 | haftmann | no base sort in class import | file | diff | annotate |
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 |