src/HOL/Complex_Main.thy
author haftmann
Mon Dec 29 14:08:08 2008 +0100 (2008-12-29)
changeset 29197 6d4cb27ed19c
parent 29026 5fbaa05f637f
child 29304 5c71a6da989d
permissions -rw-r--r--
adapted HOL source structure to distribution layout
     1 (*  Title:      HOL/Complex_Main.thy
     2     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     3     Copyright   2003  University of Cambridge
     4 *)
     5 
     6 header{*Comprehensive Complex Theory*}
     7 
     8 theory Complex_Main
     9 imports
    10   Main
    11   Real
    12   Fundamental_Theorem_Algebra
    13   Log
    14   Ln
    15   Taylor
    16   Integration
    17   FrechetDeriv
    18 begin
    19 
    20 end