[isabelle-dev] Bad binding warnings

Lukas Bulwahn bulwahn at in.tum.de
Thu Jul 14 10:38:57 CEST 2011


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?


More information about the isabelle-dev mailing list