src/Tools/Adhoc_Overloading.thy
2016-07-11 wenzelm 2016-07-11 tuned;
2016-01-01 wenzelm 2016-01-01 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-08-02 Christian Sternagel 2013-08-02 use uniform spelling of "adhoc"
2013-07-12 wenzelm 2013-07-12 localized and modernized adhoc-overloading (patch by Christian Sternagel);
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2010-07-14 haftmann 2010-07-14 load cache_io before code generator; moved adhoc-overloading to generic tools