2011-09-20 | wenzelm | more careful treatment of initial update, similar to output panel; | changeset | files |
2011-09-20 | wenzelm | proper fact binding; | changeset | files |
2011-09-20 | bulwahn | syntactic improvements and tuning names in the code generator due to Florian's code review | changeset | files |
2011-09-19 | krauss | match types when applying mono_thm -- previous export generalizes type variables; | changeset | files |
2011-09-19 | wenzelm | fixed headers; | changeset | files |
2011-09-19 | wenzelm | less ambiguous syntax; | changeset | files |
2011-09-19 | wenzelm | tuned proofs; | changeset | files |
Loading... |