From: guykatzz <katz911@gmail.com>
Date: Wed, 23 Mar 2016 19:12:10 +0000 (-0700)
Subject: Merge pull request #82 from CVC4/master_for_merge
X-Git-Tag: cvc5-1.0.0~6049^2~92
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=561cd0f930098501f445dcec12e51c5c1915852a;p=cvc5.git

Merge pull request #82 from CVC4/master_for_merge

Squash-merge from the proof branch
---

561cd0f930098501f445dcec12e51c5c1915852a