Some streamlining of text.
Theory library is now assumed to be LOCAL and not at TUM.
(*
ID: $ $
*)
Dagstuhl = Stream2 +
consts
YS :: "'a stream"
YYS :: "'a stream"
rules
YS_def "YS = fix[LAM x. scons[y][x]]"
YYS_def "YYS = fix[LAM z. scons[y][scons[y][z]]]"
end