changeset 15131 | c69542757a4d |
parent 13984 | e055ba9020eb |
child 15140 | 322485b816ac |
15130:dc6be28d7f4e | 15131:c69542757a4d |
---|---|
4 Copyright 2003 University of Cambridge |
4 Copyright 2003 University of Cambridge |
5 *) |
5 *) |
6 |
6 |
7 header{*Comprehensive Complex Theory*} |
7 header{*Comprehensive Complex Theory*} |
8 |
8 |
9 theory Complex_Main = CLim: |
9 theory Complex_Main |
10 import CLim |
|
11 begin |
|
10 |
12 |
11 end |
13 end |