src/HOL/MicroJava/BV/BVSpec.thy
changeset 10618 5b96bc5fbec3
parent 10612 779af7c58743
child 10629 d790faef9c07