| Thu, 27 Jul 2006 23:28:30 +0200 | wenzelm | replaced extern_skolem by slightly more simplistic revert_skolems; | changeset | files |
| Thu, 27 Jul 2006 23:28:28 +0200 | wenzelm | renamed ProofContext.fix_frees to Variable.fix_frees; | changeset | files |
| Thu, 27 Jul 2006 23:28:27 +0200 | wenzelm | replaced ProofContext.extern_skolem by slightly more simplistic ProofContext.revert_skolems; | changeset | files |
| Thu, 27 Jul 2006 23:28:26 +0200 | wenzelm | no_vars: based on Variable.import; | changeset | files |
| Thu, 27 Jul 2006 23:28:25 +0200 | wenzelm | added fix_frees (from Isar/proof_context.ML); | changeset | files |
| Thu, 27 Jul 2006 23:28:23 +0200 | wenzelm | declare_term_names: cover types as well; | changeset | files |