Hi, Working with the development version, I have been noticing warnings "... Bad binding: ...". Is there now a stricter guideline using or creating bindings that Isabelle's developers should follow? Lukas