changeset 73937 | fe8d0f4da0e6 |
parent 73936 | d593d18a7a92 |
child 73938 | 76dbf39a708d |
73936:d593d18a7a92 | 73937:fe8d0f4da0e6 |
---|---|
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 |