src/HOL/Boogie/Examples/VCC_Max.thy
changeset 47724 bafe6c0cbab4
parent 47152 446cfc760ccf
child 48069 e9b2782c4f99