--- a/src/HOL/Metis.thy Mon Oct 04 22:45:09 2010 +0200
+++ b/src/HOL/Metis.thy Mon Oct 04 22:51:53 2010 +0200
@@ -29,7 +29,6 @@
use "Tools/Metis/metis_translate.ML"
use "Tools/Metis/metis_reconstruct.ML"
use "Tools/Metis/metis_tactics.ML"
-
setup Metis_Tactics.setup
end