Loads Dense_Linear_Order (needed dlo_simps)

--- a/src/HOL/Hyperreal/MacLaurin.thy	Wed Feb 27 15:35:42 2008 +0100
+++ b/src/HOL/Hyperreal/MacLaurin.thy	Wed Feb 27 15:35:43 2008 +0100
@@ -7,7 +7,7 @@
 header{*MacLaurin Series*}
 
 theory MacLaurin
-imports Transcendental
+imports Dense_Linear_Order Transcendental
 begin
 
 subsection{*Maclaurin's Theorem with Lagrange Form of Remainder*}