author | nipkow |
Fri, 09 Jul 2021 10:36:20 +0200 | |
changeset 74189 | d4af818e0880 |
permissions | -rw-r--r-- |
74189 | 1 |
theory Spec_Check |
2 |
imports Pure |
|
3 |
begin |
|
4 |
||
5 |
ML_file \<open>random.ML\<close> |
|
6 |
ML_file \<open>property.ML\<close> |
|
7 |
ML_file \<open>base_generator.ML\<close> |
|
8 |
ML_file \<open>generator.ML\<close> |
|
9 |
ML_file \<open>gen_construction.ML\<close> |
|
10 |
ML_file \<open>spec_check.ML\<close> |
|
11 |
ML_file \<open>output_style.ML\<close> |
|
12 |
||
13 |
end |