src/HOL/Complex/Complex_Main.thy
author wenzelm
Fri Mar 28 19:43:54 2008 +0100 (2008-03-28)
changeset 26462 dac4e2bce00d
parent 26118 6f94eb10adad
child 27368 9f90ac19e32b
permissions -rw-r--r--
avoid rebinding of existing facts;
     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
    10 imports Fundamental_Theorem_Algebra CLim "../Hyperreal/Hyperreal"
    11 begin
    12 
    13 end