src/HOL/Complex_Main.thy
author nipkow
Thu Feb 12 18:14:43 2009 +0100 (2009-02-12)
changeset 29879 4425849f5db7
parent 29304 5c71a6da989d
child 29986 6b1ccda8bf19
permissions -rw-r--r--
Moved FTA into Lib and cleaned it up a little.
     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   Integration
    12   FrechetDeriv
    13 begin
    14 
    15 end