CVC4/CVC4 — pull request #37 by mdeters (2014-06-21 00:07:29+00:00)
Title: Quantifiers kinds documentation

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