Fri, 14 Jul 2000 14:47:15 +0200 | paulson | moved sublist from UNITY/AllocBase to List | file | diff | annotate |
Fri, 23 Jun 2000 10:33:11 +0200 | paulson | sum_below f n -> setsum f (lessThan n) | file | diff | annotate |
Thu, 22 Jun 2000 11:37:13 +0200 | paulson | removed some finiteness conditions from bag_of/sublist theorems | file | diff | annotate |
Tue, 20 Jun 2000 11:51:21 +0200 | paulson | changed a step for the improved rules for setsum | file | diff | annotate |
Fri, 02 Jun 2000 18:31:18 +0200 | paulson | lots of new results about sublist, bag_of | file | diff | annotate |
Fri, 26 May 2000 18:08:46 +0200 | paulson | sublist and some lemmas about it | file | diff | annotate |
Tue, 23 May 2000 12:31:38 +0200 | paulson | new files for the Allocator | file | diff | annotate |