frenetic-lang/frenetic — pull request #138 by robertsoule (2013-11-05 17:59:14+00:00)
Title: Renamed Stream to NetKAT_Stream.

Resolving name conflict.