1
use_thys [
2
"Find_Unused_Assms_Examples",
3
"Quickcheck_Examples",
4
"Quickcheck_Lattice_Examples"
5
];
6
7
if getenv "ISABELLE_GHC" = "" then ()
8
else use_thy "Quickcheck_Narrowing_Examples";
9