projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 62454cb 88ff88b)
Merge pull request #37 from mdeters/quants-kinds
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Jun 2014 21:48:18 +0000 (23:48 +0200)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Jun 2014 21:48:18 +0000 (23:48 +0200)
Quantifiers kinds documentation


Trivial merge