ANNOUNCE
2000-10-06 wenzelm final tuning; Isabelle99-1
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm draft for 99-1;
2000-09-11 wenzelm template;
less more (0) tip