Fri, 02 Jun 2000 17:42:43 +0200 | paulson | Many new theorems about multisets and their ordering, including basic | file | diff | annotate |
Wed, 24 May 2000 18:43:39 +0200 | paulson | overloaded 0 | file | diff | annotate |
Tue, 23 May 2000 18:19:06 +0200 | paulson | Multisets have a zero: the empty multiset | file | diff | annotate |
Mon, 22 May 2000 12:30:40 +0200 | paulson | Proving that multisets are partially ordered | file | diff | annotate |
Fri, 04 Dec 1998 10:42:53 +0100 | paulson | locales: assumes and defines may be empty | file | diff | annotate |
Fri, 09 Oct 1998 11:16:04 +0200 | nipkow | Multisets at last! | file | diff | annotate |