| Wed, 12 Jul 2006 21:19:24 +0200 | wenzelm | removed duplicate of Tactic.make_elim_preserve; | changeset | files |
| 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 |
| Wed, 12 Jul 2006 21:19:14 +0200 | wenzelm | simplified prove_conv; | changeset | files |
| Wed, 12 Jul 2006 19:59:14 +0200 | wenzelm | removed ':' from category of symbolic identifier chars; | changeset | files |