From: Simon Huber <hubsim@gmail.com>
Date: Fri, 1 Jul 2016 12:34:42 +0000 (+0200)
Subject: Merge pull request #39 from abooij/prop-trunc
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=ee32e4e7d84426e573f3f31e72d1fa19ed419af2;p=cubicaltt.git

Merge pull request #39 from abooij/prop-trunc

implement propositional truncation
---

ee32e4e7d84426e573f3f31e72d1fa19ed419af2