| changeset 53173 | b881bee69d3a |
| parent 53159 | a5805fe4e91c |
| parent 53172 | 31e24d6ff1ea |
| child 53174 | 71a2702da5e0 |
--- a/src/HOL/Spec_Check/Spec_Check.thy Fri Aug 23 16:51:53 2013 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,14 +0,0 @@ -theory Spec_Check -imports Main -begin - -ML_file "random.ML" -ML_file "property.ML" -ML_file "base_generator.ML" -ML_file "generator.ML" -ML_file "gen_construction.ML" -ML_file "spec_check.ML" -ML_file "output_style.ML" -setup Output_Style.setup - -end \ No newline at end of file