src/HOL/Hoare_Parallel/OG_Examples.thy
changeset 82913 7c870287f04f
parent 69654 bc758f4f09e5