src/HOL/MicroJava/Comp/CorrCompTp.thy
changeset 57874 9c361f94b323
parent 56154 f0a927235162
child 57816 d8bbb97689d3