[isabelle] Isabelle2016-RC2: bogus simplifier trace messages



(This problem is present in Isabelle2015, too.)

I've attached a screenshot of the behaviour. The second screenshot is
the trace shown after clicking on one of the messages.

Cheers
Lars

Attachment: Screenshot_20160128_151205.png
Description: PNG image

Attachment: Screenshot_20160128_151254.png
Description: PNG image



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