Thu, 11 Oct 2012 11:56:43 +0200 | haftmann | msetprod based directly on Multiset.fold; | changeset | files |
Thu, 11 Oct 2012 11:56:43 +0200 | haftmann | avoid global interpretation | changeset | files |
Thu, 11 Oct 2012 11:56:42 +0200 | haftmann | simplified construction of fold combinator on multisets; | changeset | files |