1998-10-29 paulson auto update
1998-10-28 nipkow Some more proofs.
1998-10-28 nipkow added nat_diff_split and a few lemmas in Trancl.
1998-10-26 wenzelm ML_SYSTEM=polyml-3.1;
1998-10-25 wenzelm tuned checklist; Isabelle98-1
1998-10-24 wenzelm official release;
1998-10-24 wenzelm ML_SYSTEM factory default;
Loading...
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip