src/Tools/Adhoc_Overloading.thy
2010-07-14 haftmann 2010-07-14 load cache_io before code generator; moved adhoc-overloading to generic tools