src/HOL/HoareParallel/OG_Tactics.thy
changeset 14360 e654599b114e
parent 13187 e5434b822a96
child 15425 6356d2523f73
equal deleted inserted replaced
14359:3d9948163018 14360:e654599b114e