Wed, 11 Jun 2014 13:39:38 +0200 | hoelzl | clean up ContNotDenum; add lemmas by Jeremy Avigad and Luke Serafin | changeset | files |
Thu, 12 Jun 2014 08:48:59 +0200 | haftmann | uniform treatment of trivial unit instances: simplify by default, unfold in code preprocessor | changeset | files |
Thu, 12 Jun 2014 01:00:49 +0200 | blanchet | adapted examples to changes in SMT triggers | changeset | files |