| Thu, 23 Sep 1999 09:05:44 +0200 | nipkow | Restructured lin.arith.package and fixed a proof in RComplete. | changeset | files |
| Thu, 23 Sep 1999 09:04:36 +0200 | nipkow | Restructured lin.arith.package. | changeset | files |
| Wed, 22 Sep 1999 21:49:37 +0200 | wenzelm | thms_containing: single writeln; | changeset | files |
| Wed, 22 Sep 1999 21:45:35 +0200 | wenzelm | tuned pretty_thms; | changeset | files |
| Wed, 22 Sep 1999 21:45:05 +0200 | wenzelm | added thms_containing; | changeset | files |
| 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 |
| Tue, 21 Sep 1999 17:29:46 +0200 | wenzelm | Thm.no_prems; | changeset | files |
| Tue, 21 Sep 1999 17:29:00 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 Sep 1999 17:28:33 +0200 | wenzelm | added some ~= rules; | changeset | files |
| Tue, 21 Sep 1999 17:28:02 +0200 | wenzelm | removed "case" thm; | changeset | files |
| Tue, 21 Sep 1999 17:26:50 +0200 | wenzelm | setup for refined facts handling; | changeset | files |
| Tue, 21 Sep 1999 17:26:42 +0200 | wenzelm | setup for refined facts handling; | changeset | files |
| Tue, 21 Sep 1999 17:24:50 +0200 | wenzelm | export prems_of; | changeset | files |
| Tue, 21 Sep 1999 17:24:35 +0200 | wenzelm | setup_goal: do not insert assumptions; | changeset | files |
| Tue, 21 Sep 1999 17:23:55 +0200 | wenzelm | setup for refined facts handling; | changeset | files |
| Tue, 21 Sep 1999 17:07:28 +0200 | wenzelm | differ: compare actual props only (hyps may changed due to trivial steps involving assumptions); | changeset | files |