src/HOL/Complex_Main.thy
author wenzelm
Sun Jul 31 19:09:21 2016 +0200 (2016-07-31)
changeset 63571 aee0d92995b6
parent 63570 1826a90b9cbc
permissions -rw-r--r--
clarified imports;
     1 section \<open>Comprehensive Complex Theory\<close>
     2 
     3 theory Complex_Main
     4 imports
     5   Complex
     6   MacLaurin
     7 begin
     8 
     9 end