changeset 1478 | 2b8c2a7547ab |
parent 1401 | 0c439768f45c |
child 2469 | b50b8c0eec01 |
1477:4c51ab632cda | 1478:2b8c2a7547ab |
---|---|
1 (* Title: ZF/ex/Limit |
1 (* Title: ZF/ex/Limit |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Sten Agerholm |
3 Author: Sten Agerholm |
4 |
4 |
5 A formalization of the inverse limit construction of domain theory. |
5 A formalization of the inverse limit construction of domain theory. |
6 |
6 |
7 The following paper comments on the formalization: |
7 The following paper comments on the formalization: |
8 |
8 |