| 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 |
| Mon, 19 Sep 2011 23:18:18 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 19 Sep 2011 22:48:05 +0200 | wenzelm | merged | changeset | files |