Thu, 22 Apr 1999 12:47:13 +0200 added ex and Modelcheck
mueller [Thu, 22 Apr 1999 12:47:13 +0200] rev 6475
added ex and Modelcheck
Thu, 22 Apr 1999 12:47:07 +0200 tuned;
wenzelm [Thu, 22 Apr 1999 12:47:07 +0200] rev 6474
tuned;
Thu, 22 Apr 1999 12:42:14 +0200 added for mucke translation;
mueller [Thu, 22 Apr 1999 12:42:14 +0200] rev 6473
added for mucke translation;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip