Thu, 21 Sep 1995 11:26:44 +0200 bicompose_aux: tuned fix_shyps;
wenzelm [Thu, 21 Sep 1995 11:26:44 +0200] rev 1258
bicompose_aux: tuned fix_shyps; simplifier: fixed handling of shyps;
Thu, 21 Sep 1995 11:23:30 +0200 added comment;
wenzelm [Thu, 21 Sep 1995 11:23:30 +0200] rev 1257
added comment;
Wed, 13 Sep 1995 11:21:58 +0200 fixed $Id$
wenzelm [Wed, 13 Sep 1995 11:21:58 +0200] rev 1256
fixed $Id$
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip