On Fri, 12 Jul 2013, Christian Sternagel wrote: > Dear all, > > please find attached patches for localizing src/Tools/Adhoc_Overloading.thy. I will take care to apply the changesets to Isabelle and AFP. (Later there might be more tips coming about the implementation techniques, but I first need to study the text again.) Makarius