# HG changeset patch
# User chaieb
# Date 1203935227 -3600
# Node ID d4fbf84a66364857532c24b5ba272e842047d3a4
# Parent  2dd43c63c100bceb0f6e7367baa40df029c6717e
Does not import Poly anymore

diff -r 2dd43c63c100 -r d4fbf84a6636 src/HOL/Hyperreal/Hyperreal.thy
--- 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