| Thu, 13 Jul 2006 13:41:57 +0200 | wenzelm | do not export make_context; | changeset | files |
| Thu, 13 Jul 2006 13:41:53 +0200 | wenzelm | removed colon from sym category; | changeset | files |
| Thu, 13 Jul 2006 12:31:00 +0200 | paulson | fix to refl_clause_aux: added occurs check | changeset | files |
| 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 |