| Wed, 12 Jul 2006 21:19:22 +0200 | wenzelm | removed obsolete adhoc_freeze_vars (may use Variable.import_terms instead); | changeset | files |
| 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 |