| Sun, 09 Jun 2024 21:15:27 +0200 | wenzelm | more operations, following Isabelle/ML; | file | diff | annotate |
| Fri, 07 Jun 2024 23:53:31 +0200 | wenzelm | more accurate Thm_Name.T for PThm / Thm.name_derivation / Thm.derivation_name; | file | diff | annotate |
| 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 |