--- a/src/HOL/Hyperreal/Hyperreal.thy Mon Feb 25 11:27:05 2008 +0100
+++ b/src/HOL/Hyperreal/Hyperreal.thy Mon Feb 25 11:27:07 2008 +0100
@@ -8,7 +8,7 @@
*)
theory Hyperreal
-imports Ln Poly Taylor Integration HLog
+imports Ln Deriv Taylor Integration HLog
begin
end