From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 25 Jun 2014 21:49:24 +0000 (+0200)
Subject: Merge pull request #34 from mdeters/datatypes-kinds
X-Git-Tag: cvc5-1.0.0~6725
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8359da58078cb1184dd00b7d9308c5a64a66dbcf;p=cvc5.git

Merge pull request #34 from mdeters/datatypes-kinds

Datatypes kinds documentation
---

8359da58078cb1184dd00b7d9308c5a64a66dbcf