src/Tools/Spec_Check/Spec_Check.thy

inner syntax comments may be written as "\<comment> \<open>text\<close>";

theory Spec_Check
imports Pure
begin

ML_file "random.ML"
ML_file "property.ML"
ML_file "base_generator.ML"
ML_file "generator.ML"
ML_file "gen_construction.ML"
ML_file "spec_check.ML"
ML_file "output_style.ML"

end