| Sat, 16 Nov 2024 22:46:33 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Wed, 06 Nov 2024 18:10:39 +0100 |
nipkow |
uniform name T_f for closed-form lemmas for function T_f
|
file |
diff |
annotate
|
| Thu, 31 Oct 2024 18:43:32 +0100 |
Manuel Eberl |
use automatically generated time function in HOL-Data_Structures.Selection
|
file |
diff |
annotate
|
| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Mon, 26 Aug 2024 18:26:00 +0200 |
nipkow |
get rid of manual T_f defs
|
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
|
| 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
|
| Wed, 31 Mar 2021 18:18:03 +0200 |
nipkow |
new automatic order prover: stateless, complete, verified
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 15:32:28 +0100 |
wenzelm |
avoid Unicode quotes;
|
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
|