| Wed, 06 Nov 2024 18:10:39 +0100 |
nipkow |
uniform name T_f for closed-form lemmas for function T_f
|
file |
diff |
annotate
|
| Wed, 06 Nov 2024 16:19:45 +0100 |
nipkow |
merged Reverse into Time_Funs
|
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
|
| 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
|