2012-08-17 wenzelm Backed out changeset ec82c33c75f8;
2012-08-17 webertj Typo fixed.
2012-08-17 wenzelm merged
2012-08-17 nipkow merged
2012-08-17 nipkow fixed lemmas
2012-08-16 nipkow abstracted lemmas
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip