src/HOL/HoareParallel/OG_Com.thy
changeset 19635 f7aa7d174343
parent 16417 9bc16273c2d4