Thu, 06 Sep 2018 16:50:16 +0200 nipkow merged
Thu, 06 Sep 2018 16:50:00 +0200 nipkow added int and real
Thu, 06 Sep 2018 14:08:35 +0200 wenzelm simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip