| Tue, 18 Jun 2024 16:55:30 +0200 | nipkow | tuned def: patter matching needs more beautification | file | diff | annotate |
| Sun, 24 Mar 2024 14:15:10 +0100 | nipkow | tuned parameter order | file | diff | annotate |
| Fri, 29 Jul 2022 08:45:51 +0200 | nipkow | prettified def | file | diff | annotate |