Mon, 19 Jul 1999 16:53:31 +0200 added isabelle_isar logo;
wenzelm [Mon, 19 Jul 1999 16:53:31 +0200] rev 7042
added isabelle_isar logo;
Mon, 19 Jul 1999 16:53:02 +0200 updated;
wenzelm [Mon, 19 Jul 1999 16:53:02 +0200] rev 7041
updated; tuned;
Mon, 19 Jul 1999 16:47:24 +0200 renamed 'with' to 'using';
wenzelm [Mon, 19 Jul 1999 16:47:24 +0200] rev 7040
renamed 'with' to 'using';
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip