--- a/src/HOL/Complex/ex/ROOT.ML Sun Feb 19 02:11:27 2006 +0100
+++ b/src/HOL/Complex/ex/ROOT.ML Sun Feb 19 13:21:32 2006 +0100
@@ -14,3 +14,6 @@
no_document use_thy "BigO";
use_thy "BigO_Complex";
+
+use_thy "ASeries_Complex";
+use_thy "HarmonicSeries";