| Wed, 22 Sep 1999 21:04:55 +0200 | wenzelm | qed ""; | changeset | files |
| Wed, 22 Sep 1999 21:04:34 +0200 | wenzelm | proper theory setup for Real/ex/BinEx; | changeset | files |
| Wed, 22 Sep 1999 21:02:59 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 22 Sep 1999 21:02:32 +0200 | wenzelm | improved output; | changeset | files |
| Wed, 22 Sep 1999 20:59:22 +0200 | wenzelm | added 'insert' method (again); | changeset | files |
| Wed, 22 Sep 1999 20:58:23 +0200 | wenzelm | ml_store_thm: no warning for ""; | changeset | files |
| Wed, 22 Sep 1999 20:57:51 +0200 | wenzelm | present results; | changeset | files |
| Tue, 21 Sep 1999 23:06:50 +0200 | wenzelm | merged in lost update; | changeset | files |
| Tue, 21 Sep 1999 19:11:07 +0200 | nipkow | Mod because of new solver interface. | changeset | files |
| Tue, 21 Sep 1999 19:10:39 +0200 | nipkow | ? | changeset | files |
| 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 |
| Tue, 21 Sep 1999 17:30:55 +0200 | wenzelm | accomodate refined facts handling; | changeset | files |
| Tue, 21 Sep 1999 17:30:11 +0200 | wenzelm | Main; | changeset | files |