[isabelle] Help with simplification loops.

Friends -
I realize this is a very general question, but I don't know how else to get at what I want.

I'm having problems with simplification. It goes on forever (or until I kill it) and when I turn on simplification tracing I can see that I'm getting some kind of loop, but I cannot figure out which rules are causing the loop. Is there some (probably obvious) way of doing this?

- John

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