| Tue, 21 Sep 1999 19:05:38 +0200 | nipkow | Solvers are now named and stamped. | changeset | files |
| Tue, 21 Sep 1999 18:11:08 +0200 | wenzelm | fixed unfold of facts; | changeset | files |
| Tue, 21 Sep 1999 17:31:20 +0200 | wenzelm | accomodate refined facts handling; | changeset | files |