Wed, 17 Mar 1999 13:42:42 +0100 adapted AxClass.add_axclass;
wenzelm [Wed, 17 Mar 1999 13:42:42 +0100] rev 6378
adapted AxClass.add_axclass; PureThy.get_thm axioms;
Wed, 17 Mar 1999 13:41:50 +0100 tuned msgs;
wenzelm [Wed, 17 Mar 1999 13:41:50 +0100] rev 6377
tuned msgs; removed verbose flag;
Wed, 17 Mar 1999 13:41:14 +0100 tuned;
wenzelm [Wed, 17 Mar 1999 13:41:14 +0100] rev 6376
tuned;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip