| Wed, 18 Oct 2000 23:42:18 +0200 | wenzelm | use Multiset from HOL/Library; | file | diff | annotate |
| 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 |
| Fri, 02 Jun 2000 17:48:17 +0200 | paulson | new constant bag_of | file | diff | annotate |
| Fri, 26 May 2000 18:08:46 +0200 | paulson | sublist and some lemmas about it | file | diff | annotate |
| Thu, 25 May 2000 15:15:22 +0200 | paulson | sum_below moved here from Arith | file | diff | annotate |
| Tue, 23 May 2000 12:31:38 +0200 | paulson | new files for the Allocator | file | diff | annotate |