[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
This archive was generated by a fusion of
Pipermail (Mailman edition) and