1999-09-22 agoadded thms_containing;
wenzelm [Wed, 22 Sep 1999 21:45:05 +0200] rev 7579
added thms_containing;

1999-09-22 agoqed "";
wenzelm [Wed, 22 Sep 1999 21:04:55 +0200] rev 7578
qed "";

1999-09-22 agoproper theory setup for Real/ex/BinEx;
wenzelm [Wed, 22 Sep 1999 21:04:34 +0200] rev 7577
proper theory setup for Real/ex/BinEx;

1999-09-22 agotuned;
wenzelm [Wed, 22 Sep 1999 21:02:59 +0200] rev 7576
tuned;

1999-09-22 agoimproved output;
wenzelm [Wed, 22 Sep 1999 21:02:32 +0200] rev 7575
improved output;

1999-09-22 agoadded 'insert' method (again);
wenzelm [Wed, 22 Sep 1999 20:59:22 +0200] rev 7574
added 'insert' method (again);

1999-09-22 agoml_store_thm: no warning for "";
wenzelm [Wed, 22 Sep 1999 20:58:23 +0200] rev 7573
ml_store_thm: no warning for "";

1999-09-22 agopresent results;
wenzelm [Wed, 22 Sep 1999 20:57:51 +0200] rev 7572
present results;

1999-09-21 agomerged in lost update;
wenzelm [Tue, 21 Sep 1999 23:06:50 +0200] rev 7571
merged in lost update;

1999-09-21 agoMod because of new solver interface.
nipkow [Tue, 21 Sep 1999 19:11:07 +0200] rev 7570
Mod because of new solver interface.