CVC4/CVC4 — pull request #38 by mdeters (2014-06-21 00:09:23+00:00)
Title: UF kinds documentation

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