wenzelm [Thu, 27 Jul 2006 23:28:30 +0200] rev 20244
replaced extern_skolem by slightly more simplistic revert_skolems;
moved fix_frees to variable.ML;
wenzelm [Thu, 27 Jul 2006 23:28:28 +0200] rev 20243
renamed ProofContext.fix_frees to Variable.fix_frees;
wenzelm [Thu, 27 Jul 2006 23:28:27 +0200] rev 20242
replaced ProofContext.extern_skolem by slightly more simplistic ProofContext.revert_skolems;
wenzelm [Thu, 27 Jul 2006 23:28:26 +0200] rev 20241
no_vars: based on Variable.import;
tuned;
wenzelm [Thu, 27 Jul 2006 23:28:25 +0200] rev 20240
added fix_frees (from Isar/proof_context.ML);
wenzelm [Thu, 27 Jul 2006 23:28:23 +0200] rev 20239
declare_term_names: cover types as well;
removed unused zero_var_indexesT;
tuned;
wenzelm [Thu, 27 Jul 2006 15:33:21 +0200] rev 20238
eliminated obsolete freeze_thaw;
webertj [Thu, 27 Jul 2006 14:21:57 +0200] rev 20237
type annotation added to make SML/NJ happy
wenzelm [Thu, 27 Jul 2006 13:44:03 +0200] rev 20236
"moved basic assumption operations from structure ProofContext to Assumption;"
wenzelm [Thu, 27 Jul 2006 13:43:13 +0200] rev 20235
ProofContext.legacy_pretty_thm;