more parallelism, at the cost of potential duplicates of make_thy;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEcfc15da73a78: afford more parallelism for sessions (instead of theories in 5eac4b13d1f1)…
- Branches
- Unknown
- Tags