--- a/src/HOL/Mirabelle/Mirabelle.thy Sat Apr 14 23:34:18 2012 +0200
+++ b/src/HOL/Mirabelle/Mirabelle.thy Sat Apr 14 23:52:17 2012 +0100
@@ -4,7 +4,7 @@
theory Mirabelle
imports Sledgehammer
-uses "Tools/mirabelle.ML"
+uses "Actions/mirabelle.ML"
"../ex/sledgehammer_tactics.ML"
begin