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