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