| Fri, 16 Feb 2018 14:11:25 +0100 | wenzelm | optional trace of created theory values; | changeset | files |
| Fri, 16 Feb 2018 14:10:37 +0100 | wenzelm | more operations; | changeset | files |
| Thu, 15 Feb 2018 17:08:25 +0100 | wenzelm | auxiliary operation for space profiling; | changeset | files |