[isabelle] Help with simplification loops.
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
This archive was generated by a fusion of
Pipermail (Mailman edition) and