changeset 8120 | 0b3834855643 |
parent 6681 | 08a084c79d8b |
child 8806 | a202293db3f6 |
8119:60b606eddec8 | 8120:0b3834855643 |
---|---|
1 (* Title: Pure/General/source.ML |
1 (* Title: Pure/General/source.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Markus Wenzel, TU Muenchen |
3 Author: Markus Wenzel, TU Muenchen |
4 |
4 |
5 Co-algebraic data sources. |
5 Coalgebraic data sources. |
6 *) |
6 *) |
7 |
7 |
8 signature SOURCE = |
8 signature SOURCE = |
9 sig |
9 sig |
10 type ('a, 'b) source |
10 type ('a, 'b) source |