| Wed, 12 Jul 2006 21:19:19 +0200 | wenzelm | exported make_elim_preserve; | changeset | files |
| Wed, 12 Jul 2006 21:19:17 +0200 | wenzelm | prove_conv: Variable.import_terms instead of Term.addhoc_freeze_vars; | changeset | files |
| Wed, 12 Jul 2006 21:19:14 +0200 | wenzelm | simplified prove_conv; | changeset | files |