[isabelle-dev] adhoc overloading

[Christian Sternagel]

The patches should be ready to push (for your convenience I attached 
them once more; the attached patches are the same as from my previous 
e-mail). Btw, I generated the patches against Isabelle 8afb396d9178 and 
AFP 908304753f7d (but I guess this information is also included in the 
patches ;)).

cheers

chris

On 07/12/2013 08:38 PM, Makarius wrote:
> 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: isabelle.patch
Type: text/x-patch
Size: 13096 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130712/f93e6827/attachment-0004.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: afp.patch
Type: text/x-patch
Size: 7402 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130712/f93e6827/attachment-0005.bin>