| Sat, 21 May 2022 14:07:24 +0000 | haftmann | »nil« seems to be a reserved constructor word in PolyML | changeset | files |
| 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 |