| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Mon, 05 Oct 2020 21:15:58 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 14 Jan 2019 18:33:48 +0000 | haftmann | tuned language | file | diff | annotate |