diff -r f54b061c2c22 -r bf9871795aeb src/Tools/Spec_Check/Spec_Check.thy
--- a/src/Tools/Spec_Check/Spec_Check.thy	Wed Aug 25 22:17:38 2021 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-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
\ No newline at end of file