src/HOL/Metis.thy
changeset 52641 c56b6fa636e8
parent 48891 c0eafbd55de3
child 54148 c8cc5ab4a863
--- a/src/HOL/Metis.thy	Sat Jul 13 00:24:05 2013 +0200
+++ b/src/HOL/Metis.thy	Sat Jul 13 00:50:49 2013 +0200
@@ -56,6 +56,5 @@
 subsection {* Try0 *}
 
 ML_file "Tools/try0.ML"
-setup {* Try0.setup *}
 
 end