unused;
prefer Isabelle/Scala operations;
tuned signature -- separate pool for JFuture tasks, which can be canceled;
just one default thread pool (which is hardwired to Runtime.availableProcessors);
modernized theory setup;
manager is direct receiver of prover output -- discontinued old performance tuning (329320fc88df, 1baa5d19ac44);
suppress potential dangerous option (see 1baa5d19ac44);
tuned -- potentially more robust;
merged
use right set of variables for recursive check
tuned signature;
tuned headers;
retired wwwfind
avoid non-standard simp default rule
tuned
subsumed by existing default simp rules for functions and booleans
tuned imports;
tuned signature;
clarified;
clarified PIDE modules;