src/HOL/Complex/Complex_Main.thy
changeset 13984 e055ba9020eb
child 15131 c69542757a4d
equal deleted inserted replaced
13983:afc0dadddaa4 13984:e055ba9020eb
       
     1 (*  Title:      HOL/Complex/Complex_Main.thy
       
     2     ID:         $Id$
       
     3     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
       
     4     Copyright   2003  University of Cambridge
       
     5 *)
       
     6 
       
     7 header{*Comprehensive Complex Theory*}
       
     8 
       
     9 theory Complex_Main = CLim:
       
    10 
       
    11 end