src/HOL/ex/Parallel_Example.thy
changeset 82859 81400a301993
parent 77061 5de3772609ea
equal deleted inserted replaced
82858:52cf8f3f1652 82859:81400a301993