src/HOL/Hoare_Parallel/OG_Syntax.thy
changeset 67003 49850a679c2c
parent 62390 842917225d56
child 69216 1a52baa70aed