Mercurialisabelle / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | revisions | annotate | diff | raw
src/HOL/Complex_Main.thy
author hoelzl
Tue Mar 26 12:20:56 2013 +0100 (2013-03-26)
changeset 51522 bd568f4bf446
parent 51518 6a56b7088a6a
child 51527 bd62e7ff103b
permissions -rw-r--r--
remove Real.thy 
     1 header {* Comprehensive Complex Theory *}

     2 

     3 theory Complex_Main

     4 imports

     5   Main

     6   Complex

     7   Log

     8   Ln

     9   Taylor

    10   Deriv

    11 begin

    12 

    13 end
isabelle