[isabelle] new message




Using the current development version of Isabelle, I get a message

### Simplifier: no proof context in simpset -- fallback to theory context!

Does anyone know what this means?

Jeremy





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