src/HOL/Hoare_Parallel/OG_Hoare.thy
changeset 42230 594480d25aaa
parent 39246 9e58f0499f57
child 44535 5e681762d538