--- a/src/HOL/Main.thy Thu Feb 12 21:24:14 2009 -0800
+++ b/src/HOL/Main.thy Fri Feb 13 09:54:47 2009 +0100
@@ -1,7 +1,7 @@
header {* Main HOL *}
theory Main
-imports Plain Code_Eval Map Nat_Int_Bij Recdef SAT
+imports Plain Code_Eval Map Recdef SAT
begin
text {*