--- a/src/HOL/Mirabelle/Mirabelle.thy Tue Apr 24 13:55:02 2012 +0100
+++ b/src/HOL/Mirabelle/Mirabelle.thy Tue Apr 24 13:59:29 2012 +0100
@@ -4,7 +4,7 @@
theory Mirabelle
imports Sledgehammer
-uses "Actions/mirabelle.ML"
+uses "Tools/mirabelle.ML"
"../ex/sledgehammer_tactics.ML"
begin