| Sun, 09 Jun 2024 21:16:38 +0200 | wenzelm | clarified data representation: prefer explicit type Thm_Name; | 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, 05 Jun 2024 11:30:26 +0200 | wenzelm | remove unused (see also 04214caeb9ac); | file | diff | annotate |
| Tue, 02 Apr 2024 18:29:14 +0200 | wenzelm | clarified names: discontinue odd convention from 3 decades ago; | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |