[isabelle-dev] adhoc overloading
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
> 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