--- a/src/HOL/Complex/NSCA.thy Sat Feb 14 02:06:12 2004 +0100
+++ b/src/HOL/Complex/NSCA.thy Sun Feb 15 10:46:37 2004 +0100
@@ -4,7 +4,7 @@
Description : Infinite, infinitesimal complex number etc!
*)
-NSCA = NSComplexArith +
+NSCA = NSComplex +
consts