src/Tools/Spec_Check/Spec_Check.thy
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (2 months ago)
changeset 69981 3dced198b9ec
parent 69605 a96320074298
permissions -rw-r--r--
more strict AFP properties;
bulwahn@52248
     1
theory Spec_Check
wenzelm@53164
     2
imports Pure
bulwahn@52248
     3
begin
bulwahn@52248
     4
wenzelm@69605
     5
ML_file \<open>random.ML\<close>
wenzelm@69605
     6
ML_file \<open>property.ML\<close>
wenzelm@69605
     7
ML_file \<open>base_generator.ML\<close>
wenzelm@69605
     8
ML_file \<open>generator.ML\<close>
wenzelm@69605
     9
ML_file \<open>gen_construction.ML\<close>
wenzelm@69605
    10
ML_file \<open>spec_check.ML\<close>
wenzelm@69605
    11
ML_file \<open>output_style.ML\<close>
bulwahn@52248
    12
bulwahn@52248
    13
end