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 |