equal
deleted
inserted
replaced
|
1 (* |
|
2 ID: $ $ |
|
3 *) |
|
4 |
|
5 Dagstuhl = Stream2 + |
|
6 |
|
7 consts |
|
8 YS :: "'a stream" |
|
9 YYS :: "'a stream" |
|
10 |
|
11 rules |
|
12 |
|
13 YS_def "YS = fix[LAM x. scons[y][x]]" |
|
14 YYS_def "YYS = fix[LAM z. scons[y][scons[y][z]]]" |
|
15 |
|
16 end |
|
17 |