| Tue, 23 May 2000 18:06:22 +0200 | paulson | added type constraint ::nat because 0 is now overloaded | file | diff | annotate |
| Wed, 03 Mar 1999 11:15:18 +0100 | paulson | expandshort | file | diff | annotate |
| Fri, 09 Oct 1998 11:16:04 +0200 | nipkow | Multisets at last! | file | diff | annotate |