| 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 |
| Thu, 11 Oct 2012 16:09:44 +0200 | wenzelm | refrain from quantifying outer fixes, to enable nesting of contexts like "context fixes x context assumes A x"; | changeset | files |
| Thu, 11 Oct 2012 15:26:33 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 11 Oct 2012 15:06:27 +0200 | wenzelm | tuned; | changeset | files |