Integration imports ATP_Linkup (for metis)

--- a/src/HOL/Integration.thy	Mon Jan 12 23:36:30 2009 -0800
+++ b/src/HOL/Integration.thy	Tue Jan 13 06:55:13 2009 -0800
@@ -6,7 +6,7 @@
 header{*Theory of Integration*}
 
 theory Integration
-imports Deriv
+imports Deriv ATP_Linkup
 begin
 
 text{*We follow John Harrison in formalizing the Gauge integral.*}