src/HOL/Boogie/Examples/VCC_Max.thy
changeset 47724 bafe6c0cbab4
parent 47152 446cfc760ccf
child 48069 e9b2782c4f99
equal deleted inserted replaced
47723:f43b8873743d 47724:bafe6c0cbab4