src/HOL/MicroJava/BV/BVExample.thy
changeset 14024 213dcc39358f
parent 13727 4ab8d49ab981
child 14045 a34d89ce6097