src/Tools/Spec_Check/Spec_Check.thy

tuned signature;

theory Spec_Check
imports Pure
begin

ML_file \<open>random.ML\<close>
ML_file \<open>property.ML\<close>
ML_file \<open>base_generator.ML\<close>
ML_file \<open>generator.ML\<close>
ML_file \<open>gen_construction.ML\<close>
ML_file \<open>spec_check.ML\<close>
ML_file \<open>output_style.ML\<close>

end