2012-09-20 | Andreas Lochbihler | more efficient code setup | changeset | files |
2012-09-20 | blanchet | added "simp"s to coiter/corec theorems + export under "simps" name | changeset | files |
2012-09-20 | blanchet | tuning | changeset | files |
2012-09-20 | nipkow | tuned | changeset | files |
2012-09-21 | wenzelm | less rendering (cf. 28bd0709443a) -- avoid conflict with static token markup of different keyword kinds; | changeset | files |
2012-09-20 | wenzelm | tuned painter; | changeset | files |
2012-09-20 | wenzelm | clarified message background; | changeset | files |
Loading... |