
bulwahn@52248: theory Spec_Check
wenzelm@53164: imports Pure
bulwahn@52248: begin
bulwahn@52248: 
wenzelm@69605: ML_file \<open>random.ML\<close>
wenzelm@69605: ML_file \<open>property.ML\<close>
wenzelm@69605: ML_file \<open>base_generator.ML\<close>
wenzelm@69605: ML_file \<open>generator.ML\<close>
wenzelm@69605: ML_file \<open>gen_construction.ML\<close>
wenzelm@69605: ML_file \<open>spec_check.ML\<close>
wenzelm@69605: ML_file \<open>output_style.ML\<close>
bulwahn@52248: 
bulwahn@52248: end



