--- a/src/HOL/Main.thy Wed Feb 04 18:10:07 2009 +0100
+++ b/src/HOL/Main.thy Fri Feb 06 13:43:19 2009 +0100
@@ -1,7 +1,7 @@
header {* Main HOL *}
theory Main
-imports Plain Code_Eval Map Nat_Int_Bij Recdef
+imports Plain Code_Eval Map Nat_Int_Bij Recdef SAT
begin
text {*