[isabelle] Isabelle2016-RC0 - output says "theorem" when I called it a "lemma"



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






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.