src/Pure/Isar/overloading.ML
2011-04-16 wenzelm 2011-04-16 prefer local name spaces; tuned signatures; tuned;
2010-11-28 wenzelm 2010-11-28 superficial tuning;
2010-09-13 haftmann 2010-09-13 more precise name for activation of improveable syntax
2010-08-26 wenzelm 2010-08-26 renamed Local_Theory.theory(_result) to Local_Theory.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools;
2010-08-11 haftmann 2010-08-11 tuned internal structure
2010-08-11 haftmann 2010-08-11 remove reinit operation alltogether
2010-08-11 haftmann 2010-08-11 stripped signature
2010-08-11 haftmann 2010-08-11 moved overloading target formally to overloading.ML
2010-05-03 wenzelm 2010-05-03 renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing;
2010-04-26 wenzelm 2010-04-26 eliminanated some unreferenced identifiers; tuned;
2010-04-11 wenzelm 2010-04-11 Thm.add_axiom/add_def: return internal name of foundational axiom;
2010-03-21 haftmann 2010-03-21 tuned whitespace
2010-02-15 haftmann 2010-02-15 clarifed type
2009-11-13 wenzelm 2009-11-13 modernized structure Local_Theory;
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-08-15 haftmann 2009-08-15 additional checkpoints avoid problems in error situations
2009-07-30 haftmann 2009-07-30 improved handling of parameters
2009-07-17 wenzelm 2009-07-17 tuned/modernized Envir.subst_XXX;
2009-06-17 haftmann 2009-06-17 uncheck is liberal wrt. semityped terms
2009-03-13 haftmann 2009-03-13 coherent binding policy with primitive target operations
2009-01-21 wenzelm 2009-01-21 removed Ids;
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2008-06-19 wenzelm 2008-06-19 ProofContext.abbrev_mode;
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-04-22 haftmann 2008-04-22 proper abbreviations in class
2008-04-10 haftmann 2008-04-10 improvements are strict
2008-04-02 haftmann 2008-04-02 tuned
2008-03-12 haftmann 2008-03-12 better improvement in instantiation target
2008-03-10 haftmann 2008-03-10 tuned
2008-03-07 haftmann 2008-03-07 generic improvable syntax for targets
2008-01-08 haftmann 2008-01-08 refined overloading target
2007-12-11 haftmann 2007-12-11 continued
2007-12-05 haftmann 2007-12-05 improved
2007-12-03 haftmann 2007-12-03 overloading target