2011-09-20 wenzelm more careful treatment of initial update, similar to output panel;
2011-09-20 wenzelm proper fact binding;
2011-09-20 bulwahn syntactic improvements and tuning names in the code generator due to Florian's code review
2011-09-19 krauss match types when applying mono_thm -- previous export generalizes type variables;
2011-09-19 wenzelm fixed headers;
2011-09-19 wenzelm less ambiguous syntax;
2011-09-19 wenzelm tuned proofs;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip