2019-12-04 nipkow moved segment lemmas where they belong
2019-12-04 nipkow merged
2019-12-04 nipkow moved lemmas
2019-12-04 paulson merged
2019-12-04 paulson two new theorems
2019-12-04 nipkow moved lemma
2019-12-03 traytel made internal name generation in case expressions more robust
2019-12-03 wenzelm merged
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 tip