src/HOL/Number_Theory/Fib.thy

--- a/src/HOL/Number_Theory/Fib.thy	Tue Mar 10 11:56:32 2015 +0100
+++ b/src/HOL/Number_Theory/Fib.thy	Tue Mar 10 15:20:40 2015 +0000
@@ -11,7 +11,7 @@
 section {* Fib *}
 
 theory Fib
-imports Binomial
+imports Main "../GCD"
 begin