Does not import Poly anymore
authorchaieb
Mon Feb 25 11:27:07 2008 +0100 (2008-02-25)
changeset 26121d4fbf84a6636
parent 26120 2dd43c63c100
child 26122 76cbf193c09d
Does not import Poly anymore
src/HOL/Hyperreal/Hyperreal.thy
     1.1 --- a/src/HOL/Hyperreal/Hyperreal.thy	Mon Feb 25 11:27:05 2008 +0100
     1.2 +++ b/src/HOL/Hyperreal/Hyperreal.thy	Mon Feb 25 11:27:07 2008 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  *)
     1.5  
     1.6  theory Hyperreal
     1.7 -imports Ln Poly Taylor Integration HLog
     1.8 +imports Ln Deriv Taylor Integration HLog
     1.9  begin
    1.10  
    1.11  end