| Wed, 27 Dec 2023 20:40:15 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 19 Aug 2019 21:31:54 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 19 Aug 2019 19:31:31 +0200 | wenzelm | module Thm_Name for Isabelle/Scala; | file | diff | annotate |