| 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 |
| Mon, 29 Jul 2024 15:26:03 +0200 | nipkow | time_function T_map can now be generated automatically. | file | diff | annotate |
| Tue, 16 Apr 2024 13:29:27 +0200 | Manuel Eberl | canonical time function for List.nth | file | diff | annotate |
| Wed, 27 Mar 2024 16:48:23 +0100 | nipkow | updated time functions for Array_Braun | file | diff | annotate |
| Sun, 24 Mar 2024 14:50:47 +0100 | nipkow | more uniform command names | file | diff | annotate |
| Fri, 19 Jan 2024 17:14:37 +0100 | nipkow | more uses of define_time_fun | file | diff | annotate |
| Fri, 08 Jan 2021 19:53:44 +0100 | Manuel Eberl | HOL-Data_Structures: added Selection and time functions for list functions | file | diff | annotate |