src/HOL/Main.thy

--- a/src/HOL/Main.thy	Fri Sep 23 22:49:25 2005 +0200
+++ b/src/HOL/Main.thy	Fri Sep 23 22:58:50 2005 +0200
@@ -5,7 +5,7 @@
 header {* Main HOL *}
 
 theory Main
-imports Refute Reconstruction
+imports Refute Reconstruction SAT
 begin
 
 text {*