author | nipkow |
Wed, 06 Aug 2008 13:57:25 +0200 | |
changeset 27760 | 3aa86edac080 |
parent 27541 | 9e585e99b494 |
child 28866 | 30cd9d89a0fb |
permissions | -rw-r--r-- |
(* Title: HOL/Complex/Complex_Main.thy ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 2003 University of Cambridge *) header{*Comprehensive Complex Theory*} theory Complex_Main imports "../Main" Fundamental_Theorem_Algebra "../Hyperreal/Log" "../Hyperreal/Ln" "../Hyperreal/Taylor" "../Hyperreal/Integration" begin end