1.1 --- a/src/HOL/NSA/Hyperreal.thy Tue Feb 23 12:14:29 2010 +0100 1.2 +++ b/src/HOL/NSA/Hyperreal.thy Tue Feb 23 12:14:46 2010 +0100 1.3 @@ -7,7 +7,7 @@ 1.4 *) 1.5 1.6 theory Hyperreal 1.7 -imports Ln Deriv Taylor Integration HLog 1.8 +imports Ln Deriv Taylor HLog 1.9 begin 1.10 1.11 end