| Wed, 23 Apr 2003 13:06:36 +0200 | paulson | Got rid of the [iff], which was effectively inserting converseD | changeset | files |
| Wed, 23 Apr 2003 00:14:55 +0200 | berghofe | Tuned realizer for exE rule, to avoid blowup of extracted program. | changeset | files |
| Wed, 23 Apr 2003 00:13:32 +0200 | berghofe | elim_vars now handles both Vars and Frees. | changeset | files |
| Wed, 23 Apr 2003 00:12:14 +0200 | berghofe | elim_cong now eta-expands proofs on the fly if required. | changeset | files |
| Wed, 23 Apr 2003 00:10:40 +0200 | berghofe | Eliminated most occurrences of rule_format attribute. | changeset | files |
| Wed, 16 Apr 2003 22:21:32 +0200 | nipkow | header | changeset | files |