src/HOL/Complex_Main.thy
author wenzelm
Mon Mar 16 18:24:30 2009 +0100 (2009-03-16)
changeset 30549 d2d7874648bd
parent 29986 6b1ccda8bf19
child 31179 ced817160283
permissions -rw-r--r--
simplified method setup;
     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 begin
    13 
    14 end