User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.4.0
Why does the output window report "theorem XXX" when the
cursor is at the end of the proof of something that I called
"lemma XXX"? Isabelle2015 didn't do this.
Is it intentional, or a bug?
- Gene Stark