src/HOL/Quickcheck_Examples/ROOT.ML

try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);

use_thys [
  "Find_Unused_Assms_Examples",
  "Quickcheck_Examples",
  "Quickcheck_Lattice_Examples",
  "Completeness"
];

if getenv "ISABELLE_GHC" = "" then ()
else use_thy "Quickcheck_Narrowing_Examples";