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