src/HOL/MicroJava/BV/BVExample.thy
changeset 15584 3478bb4f93ff
parent 15570 8d8c70b41bab
child 16417 9bc16273c2d4