As of c7f6f01ede15 I noticed the following behavior. Suppose I have a
theory file with the following content
theory Foo
imports
Main
begin
end
So far so good. Now I add another import.
theory Foo
imports
Main
~~/src/HOL/Tools/Adhoc_Overloading
begin
end
By
Dear all,
in Isabelle2014 as well as c7f6f01ede15 I noticed that the output when
using adhoc overloading together with abbreviations is not optimal
(maybe this was already discovered before but I forgot about it). Now,
it turns out that the same issue (at least superficially it's the same,
Just a reminder that this old thread is not yet resolved and currently
I'm essentially stuck.
Independent of my being stuck, could one of the devs apply at least the
first of the following attached patches (and the second one depending on
whether dropping semicolons is in general seen as good
