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