CVC4/CVC4 — pull request #36 by mdeters (2014-06-21 00:07:10+00:00)
Title: Sets kinds documentation

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