Fri, 09 Oct 1998 11:16:04 +0200 | nipkow | Multisets at last! | changeset | files |
Fri, 09 Oct 1998 11:15:39 +0200 | nipkow | added Induct/Multiset* | changeset | files |
Fri, 09 Oct 1998 11:15:07 +0200 | nipkow | New inductive definition of `card' | changeset | files |