[isabelle-dev] adhoc overloading

Makarius makarius at sketis.net
Fri Jul 12 13:38:06 CEST 2013

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?


More information about the isabelle-dev mailing list