diff -r 25e333d2eccd -r ef811090e106 src/HOL/ex/Refute_Examples.thy
--- a/src/HOL/ex/Refute_Examples.thy	Wed Oct 31 11:23:21 2012 +0100
+++ b/src/HOL/ex/Refute_Examples.thy	Wed Oct 31 11:23:21 2012 +0100
@@ -8,7 +8,7 @@
 header {* Examples for the 'refute' command *}
 
 theory Refute_Examples
-imports Main
+imports "~~/src/HOL/Library/Refute"
 begin
 
 refute_params [satsolver = "dpll"]