--- a/src/HOL/Mirabelle/Mirabelle.thy Mon May 02 13:29:47 2011 +0200
+++ b/src/HOL/Mirabelle/Mirabelle.thy Mon May 02 16:33:21 2011 +0200
@@ -14,8 +14,6 @@
ML {* Toplevel.add_hook Mirabelle.step_hook *}
-setup Mirabelle.setup
-
ML {*
signature MIRABELLE_ACTION =
sig