src/HOL/MicroJava/Comp/LemmasComp.thy
changeset 54381 9c1f21365326
parent 52857 64e3374d5014
child 55466 786edc984c98