2021-11-12 wenzelm tuned comments;
2021-11-12 wenzelm tuned;
2021-11-12 wenzelm clarified signature;
2021-11-12 wenzelm clarified properties: avoid empty entry;
2021-11-12 wenzelm tuned signature;
2021-11-12 nipkow merged
2021-11-12 nipkow tuned (thanks to J. Villadsen)
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip