src/CCL/ex/stream.thy
1994-03-22 clasohm 1994-03-22 changed "." to "$" and added parentheses to eliminate ambiguity
1993-09-16 clasohm 1993-09-16 Initial revision