src/HOL/Complex_Main.thy
author hoelzl
Tue Mar 26 12:20:52 2013 +0100 (2013-03-26)
changeset 51518 6a56b7088a6a
parent 40864 4abaaadfdaf2
child 51522 bd568f4bf446
permissions -rw-r--r--
separate SupInf into Conditional_Complete_Lattice, move instantiation of real to RealDef
     1 header {* Comprehensive Complex Theory *}
     2 
     3 theory Complex_Main
     4 imports
     5   Main
     6   Real
     7   Complex
     8   Log
     9   Ln
    10   Taylor
    11   Deriv
    12 begin
    13 
    14 end