Wed, 12 Jul 2006 21:19:27 +0200 | wenzelm | * Isar: ":" (colon) is no longer a symbolic identifier character; | changeset | files |
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 |