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