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