src/HOL/Hoare_Parallel/OG_Tactics.thy
changeset 66787 64b47495676d
parent 62042 6c6ccf573479
child 80914 d97fdabd9e2b