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