src/HOL/MicroJava/JVM/JVMState.thy
changeset 23024 70435ffe077d
parent 15860 a344c4284972
child 35416 d8d7d1b785af