| Thu, 11 Oct 2012 14:38:58 +0200 | hoelzl | cleanup borel_measurable_positive_integral_(fst|snd) | changeset | files |
| 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 |
| Thu, 11 Oct 2012 20:38:02 +0200 | wenzelm | clarified output token markup (see also bc22daeed49e); | changeset | files |
| Thu, 11 Oct 2012 19:25:36 +0200 | wenzelm | refined aprop_tr' -- retain entity information by using type slot as adhoc marker; | changeset | files |