| Thu, 04 Nov 2010 14:59:44 +0100 | blanchet | ignore facts with only theory constants in them | changeset | files |
| Thu, 04 Nov 2010 14:59:44 +0100 | blanchet | cosmetics | changeset | files |
| Thu, 04 Nov 2010 14:59:44 +0100 | blanchet | use the SMT integration's official list of built-ins | changeset | files |
| Fri, 05 Nov 2010 14:10:41 +0100 | haftmann | added class relation group_add < cancel_semigroup_add | changeset | files |
| Fri, 05 Nov 2010 09:07:14 +0100 | bulwahn | merged | changeset | files |
| Fri, 05 Nov 2010 08:16:35 +0100 | bulwahn | changing timeout to real value; handling Interrupt and Timeout more like nitpick does | changeset | files |
| Fri, 05 Nov 2010 08:16:34 +0100 | bulwahn | added two lemmas about injectivity of concat to the list theory | changeset | files |