author | haftmann |
Fri, 11 Jul 2008 09:02:23 +0200 | |
changeset 27541 | 9e585e99b494 |
parent 27472 | 47bc28e011d5 |
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