morolin/CS6112writeup — pull request #1 by x13 (2011-10-24 05:29:16+00:00)
Title: Oct 24 Commit

Rewrote the CHP section with updated grammar and boolean and LTS semantics