author | huffman |
Tue, 23 Dec 2008 15:02:30 -0800 | |
changeset 29164 | 0d49c5b55046 |
parent 29026 | 5fbaa05f637f |
child 29197 | 6d4cb27ed19c |
permissions | -rw-r--r-- |
(* Title: HOL/Complex_Main.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 2003 University of Cambridge *) header{*Comprehensive Complex Theory*} theory Complex_Main imports Main Real "~~/src/HOL/Complex/Fundamental_Theorem_Algebra" Log Ln Taylor Integration FrechetDeriv begin end