src/Tools/adhoc_overloading.ML
2014-03-09 wenzelm 2014-03-09 tuned signature;
2014-03-06 wenzelm 2014-03-06 more rigid const demands, based on educated guesses about the tools involved here;
2014-03-06 wenzelm 2014-03-06 eliminated odd type constraint for read_const (see also 79c1d2bbe5a9);
2014-03-06 wenzelm 2014-03-06 more uniform check_const/read_const;
2014-02-01 wenzelm 2014-02-01 prefer top-down rewriting for output (i.e. uncheck), in accordance to term abbreviations (see 5d2fe4e09354) and AST translations;
2013-11-18 traytel 2013-11-18 reintroduced e2d08b9c9047, lost in 54e290da6da8 + e13b0c88c798
2013-09-30 Christian Sternagel 2013-09-30 preserve types during rewriting
2013-09-11 wenzelm 2013-09-11 prefer explicit type constraint (again, see also Type.appl_error); pretty const with markup; clarified "the context";
2013-09-11 wenzelm 2013-09-11 tuned whitespace;
2013-09-11 wenzelm 2013-09-11 tuned message;
2013-08-09 Christian Sternagel 2013-08-09 indicate error-functions more prominently (by name prefix instead of suffix);
2013-08-09 Christian Sternagel 2013-08-09 avoid low-level Same structure;
2013-08-09 Christian Sternagel 2013-08-09 avoid misleading "instances" in function name;
2013-08-09 Christian Sternagel 2013-08-09 move treatment of polymorphism to adhoc overloading command;
2013-08-09 Christian Sternagel 2013-08-09 clarify function;
2013-08-02 Christian Sternagel 2013-08-02 use uniform spelling of "adhoc"
2013-08-02 Christian Sternagel 2013-08-02 tuned formatting of error message
2013-07-19 traytel 2013-07-19 permissive uncheck -- allow printing of malformed terms (e.g. in error messages);
2013-07-17 Christian Sternagel 2013-07-17 show variants in error messages; more precise error messages (give witnesses for multiple instances)
2013-07-17 Christian Sternagel 2013-07-17 refactoring
2013-07-12 wenzelm 2013-07-12 localized and modernized adhoc-overloading (patch by Christian Sternagel);
2013-01-08 wenzelm 2013-01-08 tuned -- prefer high-level Table.merge with its slightly more conservative update;
2011-11-10 wenzelm 2011-11-10 tuned signature;
2011-11-09 wenzelm 2011-11-09 tuned signature; tuned;
2011-11-09 wenzelm 2011-11-09 proper configuration option; tuned;
2011-04-19 wenzelm 2011-04-19 simplified check/uncheck interfaces: result comparison is hardwired by default; tuned;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-01-08 wenzelm 2011-01-08 misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage;
2010-07-14 haftmann 2010-07-14 load cache_io before code generator; moved adhoc-overloading to generic tools