author  nipkow 
Mon, 16 Aug 2004 14:22:27 +0200  
changeset 15131  c69542757a4d 
parent 13984  e055ba9020eb 
child 15140  322485b816ac 
permissions  rwrr 
13984
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

1 
(* Title: HOL/Complex/Complex_Main.thy 
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

2 
ID: $Id$ 
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

3 
Author: Lawrence C Paulson, Cambridge University Computer Laboratory 
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

4 
Copyright 2003 University of Cambridge 
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

5 
*) 
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

6 

e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

7 
header{*Comprehensive Complex Theory*} 
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

8 

15131  9 
theory Complex_Main 
10 
import CLim 

11 
begin 

13984
e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

12 

e055ba9020eb
new theory Complex_Main as basis for analysis developments
paulson
parents:
diff
changeset

13 
end 