src/HOL/MicroJava/Comp/DefsComp.thy
changeset 23512 770e7f9f715b
parent 15481 fc075ae929e4
child 35416 d8d7d1b785af