use_thys [ "Find_Unused_Assms_Examples", "Quickcheck_Examples", "Quickcheck_Lattice_Examples", "Completeness" ]; if getenv "ISABELLE_GHC" = "" then () else use_thy "Quickcheck_Narrowing_Examples";