kframework/k — pull request #430 by dlucanu (2014-05-09 15:54:28+00:00)
Title: Updated the definition for the stream equivalence in samples/prog-equiv/stream.

Corrected the definition for the the stream equivalence and added some more examples. The definition is still incomplete, e.g., the function checking a substitution must be rewritten, but it is fine now for the demo purposes.

PS This is my first pull request, I hope it works.