| author | wenzelm |
| Sat, 20 Feb 2021 13:42:37 +0100 | |
| changeset 73255 | 7e2a9a8c2b85 |
| parent 69605 | a96320074298 |
| permissions | -rw-r--r-- |
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