src/HOL/Hoare_Parallel/RG_Tran.thy
changeset 47255 30a1692557b0
parent 42174 d0be2722ce9f
child 51119 6b2352111017