src/Pure/variable.ML
2006-09-30 wenzelm 2006-09-30 renamed Variable.invent_fixes to Variable.variant_fixes;
2006-09-18 wenzelm 2006-09-18 Thm.dest_arg;
2006-09-12 wenzelm 2006-09-12 moved term subst functions to TermSubst;
2006-08-02 wenzelm 2006-08-02 normalized Proof.context/method type aliases; added declare/export/import_prf; added focus_subgoal: reset/declare goal schematics;
2006-07-30 wenzelm 2006-07-30 export: refrain from adjusting maxidx;
2006-07-29 wenzelm 2006-07-29 added add_fixes_direct; tuned;
2006-07-27 wenzelm 2006-07-27 added fix_frees (from Isar/proof_context.ML);
2006-07-26 wenzelm 2006-07-26 import(T): result includes fixed types/terms; focus: tuned interface;
2006-07-25 wenzelm 2006-07-25 tuned;
2006-07-19 wenzelm 2006-07-19 reorganize declarations (more efficient); renamed rename_wrt to variant_frees (avoid confusion with Term.rename_wrt_term, which reverses the result); tuned;
2006-07-18 wenzelm 2006-07-18 added newly_fixed, focus; removed monomorphic; tuned;
2006-07-13 wenzelm 2006-07-13 Name.context already declares empty names; tune ins_sorts -- sort assigments should never change later;
2006-07-11 wenzelm 2006-07-11 separate names filed (covers fixes/defaults);
2006-07-11 wenzelm 2006-07-11 maintain Name.context for fixes/defaults; more efficient inventing/renaming of local names (cf. name.ML);
2006-07-04 wenzelm 2006-07-04 polymorphic: always generalize wrt. used_types;
2006-06-19 wenzelm 2006-06-19 added declare_thm, thm_context; added trade(T);
2006-06-17 wenzelm 2006-06-17 major reworking of export functionality -- based on Term/Thm.generalize; tuned interfaces;
2006-06-15 wenzelm 2006-06-15 Fixed type/term variables and polymorphic term abbreviations.