| Mon, 02 Dec 2024 20:35:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 25 Oct 2024 15:39:27 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Thu, 18 Jul 2024 11:36:09 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Mon, 15 Jul 2024 12:26:15 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Mon, 01 Jan 2024 14:36:08 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2023 19:00:17 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Wed, 20 Dec 2023 14:26:18 +0100 |
wenzelm |
more permissive: allow collapse of term variables for equal results, e.g. relevant for metis (line 1882 of "~~/src/HOL/List.thy");
|
file |
diff |
annotate
|
| Wed, 20 Dec 2023 12:50:16 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 08 Dec 2023 13:36:47 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2023 13:16:34 +0100 |
wenzelm |
more accurate treatment of term variables after instantiation of type variables;
|
file |
diff |
annotate
|
| Mon, 04 Dec 2023 19:24:39 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 18 Apr 2023 21:47:40 +0200 |
wenzelm |
more operations: avoid intermediate list;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2023 10:42:23 +0200 |
wenzelm |
performance tuning: proper pointer_eq;
|
file |
diff |
annotate
|
| Tue, 11 Apr 2023 21:42:45 +0200 |
wenzelm |
misc tuning: follow Table() more closely;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 22:12:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 15:45:27 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|