| Thu, 19 Feb 2015 11:53:36 +0100 | haftmann | establish unique preferred fact names | changeset | files |
| Wed, 18 Feb 2015 22:46:48 +0100 | haftmann | eliminated technical fact alias | changeset | files |
| Wed, 18 Feb 2015 22:46:48 +0100 | haftmann | eliminated fact duplicates | changeset | files |
| Wed, 18 Feb 2015 22:46:47 +0100 | haftmann | inlined rules to free user-space from technical names | changeset | files |
| Wed, 18 Feb 2015 22:46:47 +0100 | haftmann | explicit declaration allows cumulative declaration | changeset | files |
| Tue, 17 Feb 2015 17:22:45 +0100 | blanchet | use more permissive logic for CVC4 (in case both reals and datatypes appear) | changeset | files |
| Sun, 15 Feb 2015 17:01:22 +0100 | haftmann | deleted ineffective declarations | changeset | files |