--- a/src/HOL/Series.thy Mon Dec 29 13:23:53 2008 +0100
+++ b/src/HOL/Series.thy Mon Dec 29 14:08:08 2008 +0100
@@ -10,7 +10,7 @@
header{*Finite Summation and Infinite Series*}
theory Series
-imports "~~/src/HOL/Hyperreal/SEQ"
+imports SEQ
begin
definition