[isabelle-dev] adhoc overloading

[Makarius]

On Fri, 12 Jul 2013, Makarius wrote:

> 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.

Looking closer, I see several versions of patches.  Are you still 
exploring, or ready for "push"?  Which version?


 	Makarius