src/HOL/Complex_Main.thy
author blanchet
Tue Nov 07 15:16:42 2017 +0100 (19 months ago)
changeset 67022 49309fe530fd
parent 63571 aee0d92995b6
permissions -rw-r--r--
more robust parsing for THF proofs (esp. polymorphic Leo-III proofs)
     1 section \<open>Comprehensive Complex Theory\<close>
     2 
     3 theory Complex_Main
     4 imports
     5   Complex
     6   MacLaurin
     7 begin
     8 
     9 end