src/HOL/HoareParallel/document/root.tex
changeset 27123 11fcdd5897dd
parent 19401 259e2bbba43c