explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions;
tuned;
use_thys [
"Find_Unused_Assms_Examples",
"Quickcheck_Examples",
"Quickcheck_Lattice_Examples",
"Completeness"
];
if getenv "ISABELLE_GHC" = "" then ()
else use_thy "Quickcheck_Narrowing_Examples";