| 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 |
| Tue, 21 Sep 1999 17:06:49 +0200 | wenzelm | added bang_facts; | changeset | files |
| Tue, 21 Sep 1999 14:21:53 +0200 | nipkow | Added comments. | changeset | files |
| Tue, 21 Sep 1999 14:16:08 +0200 | nipkow | Now distinguishes discrete from non-distrete types. | changeset | files |
| Tue, 21 Sep 1999 14:14:14 +0200 | nipkow | moved inf_of(?) to hologic. | changeset | files |
| Tue, 21 Sep 1999 14:13:55 +0200 | nipkow | Integ/bin_simprocs.ML now loaded in Integ/Bin.ML | changeset | files |
| Tue, 21 Sep 1999 14:13:45 +0200 | nipkow | ROOT: Integ/bin_simprocs.ML now loaded in Integ/Bin.ML | changeset | files |
| Tue, 21 Sep 1999 11:11:09 +0200 | paulson | new proof of drop_prog_correct for new definition of project_act | changeset | files |