Mon, 09 Oct 2000 10:18:21 +0200 nipkow *** empty log message ***
Mon, 09 Oct 2000 09:33:45 +0200 nipkow @ -> SOME
Sun, 08 Oct 2000 19:58:26 +0200 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:18:30 +0200 wenzelm * HOL/IMPP: extension of IMP with local variables and mutually
Fri, 06 Oct 2000 16:14:03 +0200 wenzelm updated, improved;
Fri, 06 Oct 2000 16:11:53 +0200 wenzelm tuned;
Fri, 06 Oct 2000 15:15:19 +0200 wenzelm draft for 99-1;
Fri, 06 Oct 2000 14:19:48 +0200 wenzelm tuned;
(0) -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip