CVC4/CVC4 — pull request #34 by mdeters (2014-06-21 00:05:53+00:00)
Title: Datatypes kinds documentation

Andy, please check over and accept pull request if appropriate.