src/HOL/Predicate_Compile_Examples/ROOT.ML

only test prolog code examples if environment variable is set

use_thys ["Predicate_Compile_Examples", "Predicate_Compile_Quickcheck_Examples", "Specialisation_Examples"];
if getenv "PROLOG_HOME" = "" then () else use_thys ["Code_Prolog_Examples"];