src/HOL/MicroJava/Comp/CorrCompTp.thy
changeset 17090 603f23d71ada
parent 15792 e9b7e210ad2a
child 17778 93d7e524417a