| Tue, 16 Apr 2024 13:29:27 +0200 | Manuel Eberl | canonical time function for List.nth | file | diff | annotate |
| Thu, 11 Apr 2024 14:13:43 +0200 | Manuel Eberl | tweaked time functions for median-of-medians selection in HOL-Data_Structures | file | diff | annotate |
| Tue, 31 May 2022 20:55:51 +0200 | nipkow | insort renamings | file | diff | annotate |