| changeset 29304 | 5c71a6da989d |
| parent 29197 | 6d4cb27ed19c |
| child 29879 | 4425849f5db7 |
| 29303:57f0d287375e | 29304:5c71a6da989d |
|---|---|
1 (* Title: HOL/Complex_Main.thy |
1 header {* Comprehensive Complex Theory *} |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
|
3 Copyright 2003 University of Cambridge |
|
4 *) |
|
5 |
|
6 header{*Comprehensive Complex Theory*} |
|
7 |
2 |
8 theory Complex_Main |
3 theory Complex_Main |
9 imports |
4 imports |
10 Main |
5 Main |
11 Real |
6 Real |