src/HOL/Main.thy

--- a/src/HOL/Main.thy	Tue Oct 18 17:59:37 2005 +0200
+++ b/src/HOL/Main.thy	Wed Oct 19 06:33:24 2005 +0200
@@ -5,7 +5,7 @@
 header {* Main HOL *}
 
 theory Main
-imports SAT Reconstruction
+imports SAT Reconstruction ResAtpMethods
 begin
 
 text {*