Thu, 06 Feb 2025 14:46:49 +0100 | nipkow | added time_partial_function command | file | diff | annotate |
Sat, 30 Nov 2024 22:33:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Thu, 07 Nov 2024 16:21:57 +0100 | nipkow | better termination behaviour | file | diff | annotate |
Thu, 31 Oct 2024 15:46:33 +0100 | nipkow | better time_functions (let) | file | diff | annotate |
Fri, 25 Oct 2024 16:57:17 +0200 | nipkow | time_fun: lambdas and lets work now | file | diff | annotate |
Sat, 12 Oct 2024 12:45:29 +0900 | nipkow | new HO time functions | file | diff | annotate |
Wed, 21 Aug 2024 20:40:59 +0200 | nipkow | new version of time_fun that works for classes; define T_length automatically now | file | diff | annotate |