| Thu, 09 Sep 2021 14:05:31 +0200 | wenzelm | tuned message; | changeset | files |
| Thu, 09 Sep 2021 13:47:29 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 09 Sep 2021 12:33:14 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 09 Sep 2021 10:40:57 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 08 Sep 2021 08:41:36 +0200 | wenzelm | simplified: uniqueness check happens in export_consumer; | changeset | files |
| Tue, 07 Sep 2021 22:35:44 +0200 | wenzelm | more markup, e.g. to locate defining theory node in formal document output; | changeset | files |
| Tue, 07 Sep 2021 21:47:50 +0200 | wenzelm | tuned signature; | changeset | files |