--- a/src/Tools/Spec_Check/Spec_Check.thy Fri Aug 23 12:40:55 2013 +0200
+++ b/src/Tools/Spec_Check/Spec_Check.thy Fri Aug 23 12:43:16 2013 +0200
@@ -9,6 +9,5 @@
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