| 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 |