src/HOL/Deriv.thy

--- a/src/HOL/Deriv.thy	Wed Feb 18 19:51:39 2009 -0800
+++ b/src/HOL/Deriv.thy	Wed Feb 18 20:14:45 2009 -0800
@@ -9,7 +9,7 @@
 header{* Differentiation *}
 
 theory Deriv
-imports Lim Polynomial
+imports Lim
 begin
 
 text{*Standard Definitions*}