| Tue, 17 May 2022 14:10:14 +0100 | paulson | tidied auto / simp with null arguments | changeset | files |
| Wed, 11 May 2022 10:42:24 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 11 May 2022 09:53:29 +0200 | wenzelm | provide Isabelle/Electron test; | changeset | files |