src/Pure/Isar/overloading.ML
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