src/HOL/Hoare_Parallel/RG_Hoare.thy
changeset 51085 d90218288d51
parent 42174 d0be2722ce9f
child 52597 a8a81453833d