| Wed, 28 Dec 2022 16:14:37 +0100 | wenzelm | omit pointless guard: ultimately observed by Isabelle_Process.report_message; | changeset | files |
| Wed, 28 Dec 2022 16:13:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Dec 2022 16:02:12 +0100 | wenzelm | clarified modules; | changeset | files |