--- a/src/HOL/ex/Mirabelle/Mirabelle.thy	Mon Aug 17 10:59:12 2009 +0200
+++ b/src/HOL/ex/Mirabelle/Mirabelle.thy	Fri Aug 21 09:44:55 2009 +0200
@@ -3,12 +3,10 @@
 *)
 
 theory Mirabelle
-imports Main
-uses "mirabelle.ML"
+imports Plain
+uses "Tools/mirabelle.ML"
 begin
 
-(* FIXME: use a logfile for each theory file *)
-
 setup Mirabelle.setup
 
 end