changeset 15140 | 322485b816ac |
parent 15131 | c69542757a4d |
child 15229 | 1eb23f805c06 |
15139:58cd3404cf75 | 15140:322485b816ac |
---|---|
4 *) |
4 *) |
5 |
5 |
6 header{*Non-Standard Complex Analysis*} |
6 header{*Non-Standard Complex Analysis*} |
7 |
7 |
8 theory NSCA |
8 theory NSCA |
9 import NSComplex |
9 imports NSComplex |
10 begin |
10 begin |
11 |
11 |
12 constdefs |
12 constdefs |
13 |
13 |
14 CInfinitesimal :: "hcomplex set" |
14 CInfinitesimal :: "hcomplex set" |