src/HOL/Hoare_Parallel/OG_Tactics.thy
changeset 64350 3af8566788e7
parent 62042 6c6ccf573479
equal deleted inserted replaced
64349:26bc905be09d 64350:3af8566788e7