| Thu, 30 Aug 2018 17:24:43 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 30 Aug 2018 14:56:04 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 30 Aug 2018 14:48:02 +0200 | wenzelm | more careful treatment position: existing facts refer to interpretation command, future facts refer to themselves (see also 4270da306442); | changeset | files |