Fri, 16 Feb 2018 18:25:55 +0100 | wenzelm | tuned whitespace; | changeset | files |
Fri, 16 Feb 2018 18:25:35 +0100 | wenzelm | more operations; | changeset | files |
Fri, 16 Feb 2018 14:11:25 +0100 | wenzelm | optional trace of created theory values; | changeset | files |