src/HOL/Hoare_Parallel/document/root.tex
changeset 62337 d3996d5873dd
parent 58884 be4d203d35b3
child 73595 aece5cc9efb7