src/HOL/Hoare_Parallel/Hoare_Parallel.thy
changeset 41648 6d736d983d5c
parent 32621 a073cb249a06