Fri, 03 Dec 2010 22:34:20 +0100 | haftmann | lemma multiset_of_rev | changeset | files |
Fri, 03 Dec 2010 22:34:20 +0100 | haftmann | lemmas fold_remove1_split and fold_multiset_equiv | changeset | files |
Fri, 03 Dec 2010 22:08:14 +0100 | wenzelm | minor tuning for release; | changeset | files |