[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.


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.