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.

1999-09-21 ago?
nipkow [Tue, 21 Sep 1999 19:10:39 +0200] rev 7569
?

1999-09-21 agoSolvers are now named and stamped.
nipkow [Tue, 21 Sep 1999 19:05:38 +0200] rev 7568
Solvers are now named and stamped.

1999-09-21 agofixed unfold of facts;
wenzelm [Tue, 21 Sep 1999 18:11:08 +0200] rev 7567
fixed unfold of facts;

1999-09-21 agoaccomodate refined facts handling;
wenzelm [Tue, 21 Sep 1999 17:31:20 +0200] rev 7566
accomodate refined facts handling;

1999-09-21 agoaccomodate refined facts handling;
wenzelm [Tue, 21 Sep 1999 17:30:55 +0200] rev 7565
accomodate refined facts handling;
tuned;

1999-09-21 agoMain;
wenzelm [Tue, 21 Sep 1999 17:30:11 +0200] rev 7564
Main;

1999-09-21 agoThm.no_prems;
wenzelm [Tue, 21 Sep 1999 17:29:46 +0200] rev 7563
Thm.no_prems;