| 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
|
| Wed, 07 Aug 2024 12:50:22 +0200 |
wenzelm |
recover lost update (see 11b8f2e4c3d2 and 4041e7c8059d);
|
file |
diff |
annotate
|
| Tue, 06 Aug 2024 12:31:42 +0200 |
nipkow |
branches of case expressions may need to be eta-expanded
|
file |
diff |
annotate
|
| Sun, 04 Aug 2024 17:39:47 +0200 |
wenzelm |
tuned: more explicit dest_Const_name and dest_Const_type;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2024 15:26:03 +0200 |
nipkow |
time_function T_map can now be generated automatically.
|
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
|
| Sat, 24 Feb 2024 11:29:30 +0100 |
nipkow |
timing function generation bug fix by Jonas Stahl
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 21:35:03 +0100 |
nipkow |
time funs: +1 instead of 1+
|
file |
diff |
annotate
|
| Mon, 29 Jan 2024 21:17:57 +0100 |
nipkow |
define_time_function: avoid unused let's
|
file |
diff |
annotate
|
| Thu, 18 Jan 2024 14:30:27 +0100 |
nipkow |
translation to time functions now with canonical let.
|
file |
diff |
annotate
|
| Mon, 15 Jan 2024 22:50:13 +0100 |
nipkow |
Added time function automation
|
file |
diff |
annotate
|