frenetic-lang/frenetic — pull request #225 by mpmilano (2014-01-13 21:52:45+00:00)
Title: Remove verify, expose Utils, Types, Pretty

This merge contains the last two months of verify work, culminating in its removal.
Also contains rename of [Util,Types,Pretty] to NetKAT_[Util,Types,Pretty].
Also exposes NetKAT_Types and NetKAT_Pretty.