2020-04-16 haftmann more complete rules on numerals
2020-04-15 wenzelm removed obsolete RC tags;
2020-04-15 wenzelm merged
2020-04-15 wenzelm Added tag Isabelle2020 for changeset abf3e80bd815
2020-04-13 wenzelm tuned NEWS; Isabelle2020
2020-04-12 wenzelm tuned NEWS;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip