src/ZF/Induct/FoldSet.thy
Wed, 30 Jan 2002 12:22:40 +0100 paulson Multiset: added the translation Mult(A) => A-||>nat-{0}
Sat, 29 Dec 2001 18:36:12 +0100 wenzelm tuned document sources;
Wed, 07 Nov 2001 18:12:12 +0100 paulson Sidi Ehmety's port of the fold_set operator and multisets to ZF.
less more (0) tip