src/HOL/Induct/Multiset0.ML
1999-03-03 paulson 1999-03-03 expandshort
1998-10-09 nipkow 1998-10-09 Multisets at last!