src/HOL/Library/Parallel.thy
changeset 49093 fdc301f592c4
parent 48427 571cb1df0768
child 52435 6646bb548c6b