| 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 |