# HG changeset patch
# User hoelzl
# Date 1266922952 -3600
# Node ID 73806dbabe90f04b3fc40e4c47478caf51021e1c
# Parent  997aa3a3e4bbfcfd4fab9c3508241774d6bcaf9c
Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration

diff -r 997aa3a3e4bb -r 73806dbabe90 src/HOL/NSA/Hyperreal.thy
--- a/src/HOL/NSA/Hyperreal.thy	Tue Feb 23 10:02:14 2010 +0100
+++ b/src/HOL/NSA/Hyperreal.thy	Tue Feb 23 12:02:32 2010 +0100
@@ -7,7 +7,7 @@
 *)
 
 theory Hyperreal
-imports Ln Deriv Taylor Integration HLog
+imports Ln Deriv Taylor HLog
 begin
 
 end