src/HOL/Complex/Complex_Main.thy
author nipkow
Wed Aug 18 11:09:40 2004 +0200 (2004-08-18)
changeset 15140 322485b816ac
parent 15131 c69542757a4d
child 22655 83878e551c8c
permissions -rw-r--r--
import -> imports
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@15140
    10
imports CLim
nipkow@15131
    11
begin
paulson@13984
    12
paulson@13984
    13
end