src/HOL/Hoare_Parallel/OG_Tactics.thy
changeset 78659 b5f3d1051b13
parent 62042 6c6ccf573479
child 80914 d97fdabd9e2b