| Tue, 20 Sep 2011 15:23:17 +0200 | wenzelm | more careful treatment of initial update, similar to output panel; | changeset | files |
| Tue, 20 Sep 2011 15:07:30 +0200 | wenzelm | proper fact binding; | changeset | files |
| Tue, 20 Sep 2011 09:30:19 +0200 | bulwahn | syntactic improvements and tuning names in the code generator due to Florian's code review | changeset | files |
| Tue, 20 Sep 2011 01:32:04 +0200 | krauss | match types when applying mono_thm -- previous export generalizes type variables; | changeset | files |
| Mon, 19 Sep 2011 23:34:22 +0200 | wenzelm | fixed headers; | changeset | files |
| Mon, 19 Sep 2011 23:24:32 +0200 | wenzelm | less ambiguous syntax; | changeset | files |