1
(* Title: FOCUS/Stream.thy
2
ID: $ $
3
Author: Franz Regensburger, David von Oheimb
4
Copyright 1993, 1995 Technische Universitaet Muenchen
5
6
general Stream domain
7
*)
8
9
Stream = HOLCF +
10
11
domain 'a stream = "&&" (ft::'a) (lazy rt::'a stream) (cinfixr 65)
12
13
end
14
15