| changeset 32153 | a0e57fb1b930 |
| parent 21404 | eb85850d3eb7 |
| child 58889 | 5b7a9633cfa8 |
| 32152:53716a67c3b1 | 32153:a0e57fb1b930 |
|---|---|
1 (* Title: CCL/Gfp.thy |
1 (* Title: CCL/Gfp.thy |
2 ID: $Id$ |
|
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1992 University of Cambridge |
3 Copyright 1992 University of Cambridge |
5 *) |
4 *) |
6 |
5 |
7 header {* Greatest fixed points *} |
6 header {* Greatest fixed points *} |