src/HOL/Hoare_Parallel/RG_Examples.thy
changeset 60243 5901cb4db0ae
parent 59189 ad8e0a789af6
child 62042 6c6ccf573479