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 |