CVC4/CVC4 — pull request #35 by mdeters (2014-06-21 00:06:38+00:00)
Title: Bit-vector kinds documentation

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