src/HOL/IOA/ABP/Correctness.thy
changeset 2056 93c093620c28
parent 1476 608483c2122a