src/HOL/Hoare_Parallel/Gar_Coll.thy
changeset 47988 e4b69e10b990
parent 45827 66c68453455c
child 51717 9e7d1c139569