| Sat, 09 Jun 2018 21:52:16 +0200 | wenzelm | clarified signature: more uniform theory_message (see also d7920eb7de54); | changeset | files |
| Sat, 09 Jun 2018 13:19:57 +0200 | wenzelm | tuned -- use existing operation; | changeset | files |
| Thu, 07 Jun 2018 22:46:40 +0200 | wenzelm | merged | changeset | files |