HomeIsabelle/Phabricator

clarify use of num_threads vs. max_cpus;