| Fri, 19 Jul 2024 11:29:05 +0200 | wenzelm | clarified signature, following zterm.ML; | file | diff | annotate |
| Sun, 14 Jul 2024 17:49:30 +0200 | wenzelm | clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm; | file | diff | annotate |