load cache_io before code generator; moved adhoc-overloading to generic tools
(* Author: Alexander Krauss, TU Muenchen Author: Christian Sternagel, University of Innsbruck*)header {* Ad-hoc overloading of constants based on their types *}theory Adhoc_Overloadingimports Pureuses "adhoc_overloading.ML"beginsetup Adhoc_Overloading.setupend