src/HOL/MicroJava/JVM/JVMInstructions.thy
changeset 82909 e4fae2227594
parent 67443 3abf6a722518