src/HOL/Hoare_Parallel/Mul_Gar_Coll.thy
changeset 51692 ecd34f863242
parent 45827 66c68453455c
child 51717 9e7d1c139569