[isabelle-dev] adhoc overloading

Makarius makarius at sketis.net
Fri Jul 12 13:19:52 CEST 2013

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


More information about the isabelle-dev mailing list