src/HOL/Complex_Main.thy
author wenzelm
Tue Oct 10 19:23:03 2017 +0200 (23 months ago)
changeset 66831 29ea2b900a05
parent 63571 aee0d92995b6
permissions -rw-r--r--
tuned: each session has at most one defining entry;
     1 section \<open>Comprehensive Complex Theory\<close>
     2 
     3 theory Complex_Main
     4 imports
     5   Complex
     6   MacLaurin
     7 begin
     8 
     9 end