src/HOL/MicroJava/JVM/JVMState.thy
changeset 82910 aa3b2d384736
parent 67443 3abf6a722518
equal deleted inserted replaced
82909:e4fae2227594 82910:aa3b2d384736