PARALLEL-EXECUTION

for ACL2(p): configure parallel execution
Major Section:  PARALLEL-PROGRAMMING

See set-parallel-execution for how to configure parallel execution for calls of plet, pargs, pand, por (but not spec-mv-let).