src/Tools/Adhoc_Overloading.thy
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