| Mon, 01 Jan 2024 14:36:08 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2023 22:04:41 +0100 |
wenzelm |
minor performance tuning: proper Same.operation;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2023 19:24:37 +0100 |
wenzelm |
minor performance tuning: proper Same.operation;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2023 18:49:00 +0100 |
wenzelm |
minor performance tuning: proper Same.operation;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2023 16:15:27 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2023 12:40:10 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2023 22:36:41 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2023 22:05:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2023 21:22:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2023 17:19:31 +0100 |
wenzelm |
clarified signature: prefer Same.operation;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2023 11:25:29 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2023 20:18:58 +0100 |
wenzelm |
clarified signature: suppress unused fields;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2023 20:01:04 +0100 |
wenzelm |
eliminate clone (amending e7796c55d840);
|
file |
diff |
annotate
|
| Fri, 29 Dec 2023 19:22:15 +0100 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2023 13:39:40 +0100 |
wenzelm |
more general Logic.incr_indexes_operation;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2023 12:54:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2023 12:54:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 08 Dec 2023 20:08:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 18 Apr 2023 12:23:37 +0200 |
wenzelm |
backout 4a174bea55e2;
|
file |
diff |
annotate
|
| Tue, 28 Mar 2023 17:59:54 +0200 |
wenzelm |
prefer Sortset.T for shyps;
|
file |
diff |
annotate
|
| Mon, 26 Dec 2022 21:28:20 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 15 Oct 2021 19:25:31 +0200 |
wenzelm |
discontinued Term.dest_abs / Logic.dest_all, which are officially superseded by Variable.dest_abs etc., but there are also Term.dest_abs_global to recover existing tools easily;
|
file |
diff |
annotate
|
| Wed, 13 Oct 2021 13:19:09 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 23:07:02 +0200 |
wenzelm |
more scalable operations;
|
file |
diff |
annotate
|
| Thu, 10 Oct 2019 11:04:27 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Wed, 09 Oct 2019 21:59:56 +0200 |
wenzelm |
clarified signature -- some operations to support fully explicit proof terms;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2019 11:38:05 +0200 |
wenzelm |
proper constrains_map -- for shyps that are covered by present variables (amending 251f1fb44ccd);
|
file |
diff |
annotate
|
| Mon, 29 Jul 2019 11:21:41 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2019 11:09:37 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 29 Jul 2019 10:26:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|