ANNOUNCE
Thu, 27 Sep 2001 18:56:39 +0200 wenzelm prepared for Isabelle2001;
Tue, 13 Feb 2001 16:31:18 +0100 wenzelm tuned;
Tue, 13 Feb 2001 16:05:56 +0100 paulson swapped Fleuriot and Paulson
Mon, 05 Feb 2001 14:31:49 +0100 wenzelm tuned;
Fri, 06 Oct 2000 17:35:58 +0200 wenzelm final tuning; Isabelle99-1
Fri, 06 Oct 2000 17:22:15 +0200 wenzelm tuned;
Fri, 06 Oct 2000 17:21:46 +0200 wenzelm tuned;
Fri, 06 Oct 2000 17:18:35 +0200 wenzelm tuned;
Fri, 06 Oct 2000 16:11:53 +0200 wenzelm tuned;
Fri, 06 Oct 2000 15:15:19 +0200 wenzelm draft for 99-1;
Mon, 11 Sep 2000 20:41:58 +0200 wenzelm template;
less more (0) tip