author | ballarin |
Thu, 11 Dec 2008 18:30:26 +0100 | |
changeset 29223 | e09c53289830 |
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