src/HOL/HoareParallel/OG_Tactics.thy
changeset 31106 9a1178204dc0
parent 30549 d2d7874648bd