Mon, 23 Aug 1999 09:36:05 +0200 Corrected two busg in the simplifier.
nipkow [Mon, 23 Aug 1999 09:36:05 +0200] rev 7318
Corrected two busg in the simplifier.
Sun, 22 Aug 1999 21:14:44 +0200 \indexisarreg;
wenzelm [Sun, 22 Aug 1999 21:14:44 +0200] rev 7317
\indexisarreg;
Sun, 22 Aug 1999 21:14:28 +0200 \VVar;
wenzelm [Sun, 22 Aug 1999 21:14:28 +0200] rev 7316
\VVar;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip