src/HOL/MicroJava/DFA/Typing_Framework_err.thy
2009-11-24 haftmann 2009-11-24 backported parts of abstract byte code verifier from AFP/Jinja