src/HOL/NSA/NSCA.thy

--- a/src/HOL/NSA/NSCA.thy	Wed Dec 03 09:53:58 2008 +0100
+++ b/src/HOL/NSA/NSCA.thy	Wed Dec 03 15:58:44 2008 +0100
@@ -1,4 +1,4 @@
-(*  Title       : NSCA.thy
+(*  Title       : NSA/NSCA.thy
     Author      : Jacques D. Fleuriot
     Copyright   : 2001,2002 University of Edinburgh
 *)
@@ -6,7 +6,7 @@
 header{*Non-Standard Complex Analysis*}
 
 theory NSCA
-imports NSComplex "../Hyperreal/HTranscendental"
+imports NSComplex HTranscendental
 begin
 
 abbreviation