modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
fixed copyright notice.
removed a comment from the program prog-equiv/streams/programs/morse.seq
fixed the time-period for the copy-right.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
fixed copyright notice.
removed a comment from the program prog-equiv/streams/programs/morse.seq
fixed the time-period for the copy-right.
resolved copyright conflict
Merge pull request #430 from dlucanu/master

Updated the definition for the stream equivalence in samples/prog-equiv/stream.