src/HOL/Import/Import_Setup.thy

--- a/src/HOL/Import/Import_Setup.thy	Tue Mar 10 15:21:26 2015 +0000
+++ b/src/HOL/Import/Import_Setup.thy	Tue Mar 10 16:12:35 2015 +0000
@@ -6,7 +6,7 @@
 section {* Importer machinery and required theorems *}
 
 theory Import_Setup
-imports Main "~~/src/HOL/Fact"
+imports Main "~~/src/HOL/Binomial"
 keywords "import_type_map" "import_const_map" "import_file" :: thy_decl
 begin