| Thu, 06 Feb 2025 14:46:49 +0100 | nipkow | added time_partial_function command | file | diff | annotate |
| Wed, 06 Nov 2024 16:27:06 +0100 | nipkow | More time for primitive functions | file | diff | annotate |
| Sat, 12 Oct 2024 12:45:29 +0900 | nipkow | new HO time functions | file | diff | annotate |