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