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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
