src/HOL/Complex/Complex_Main.thy
author nipkow
Mon Aug 16 14:22:27 2004 +0200 (2004-08-16)
changeset 15131 c69542757a4d
parent 13984 e055ba9020eb
child 15140 322485b816ac
permissions -rw-r--r--
New theory header syntax.
paulson@13984
     1
(*  Title:      HOL/Complex/Complex_Main.thy
paulson@13984
     2
    ID:         $Id$
paulson@13984
     3
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
paulson@13984
     4
    Copyright   2003  University of Cambridge
paulson@13984
     5
*)
paulson@13984
     6
paulson@13984
     7
header{*Comprehensive Complex Theory*}
paulson@13984
     8
nipkow@15131
     9
theory Complex_Main
nipkow@15131
    10
import CLim
nipkow@15131
    11
begin
paulson@13984
    12
paulson@13984
    13
end