[isabelle] Simplifier: renamed bound variable ":000" to ":000a"



Sometimes the simplifier produces a warning message that looks like this:

### Simplifier: renamed bound variable ":000" to ":000a"

Should I care?

If it is important, what does this message mean---does it indicate a problem?

If it is *not* important, why is this message printed at all? (Or at
least, why is it printed even when the debugging flag is not turned
on?)

- Brian





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