| Fri, 02 May 2025 17:24:43 +0200 |
haftmann |
executable sorted_list_of_multiset
|
changeset |
files
|
| Fri, 02 May 2025 16:25:38 +0100 |
paulson |
Tweaking the ordered semiring type classes
|
changeset |
files
|
| Sun, 27 Apr 2025 11:21:04 +0100 |
paulson |
merged
|
changeset |
files
|
| Sun, 27 Apr 2025 11:20:39 +0100 |
paulson |
New type classes unboundedx_dense_order, ordered_semiring_1, ordered_semiring_strict and related material from Complex_Bounded_Operators
|
changeset |
files
|
| Sat, 26 Apr 2025 21:33:48 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 26 Apr 2025 20:52:46 +0200 |
wenzelm |
more robust output: no markup as last resort;
|
changeset |
files
|
| Fri, 25 Apr 2025 18:06:12 +0200 |
wenzelm |
clarified signature: more scalable output --- avoid adhoc string concatenations after Pretty.string_of;
|
changeset |
files
|
| Fri, 25 Apr 2025 16:54:39 +0200 |
wenzelm |
clarified signature: more scalable output;
|
changeset |
files
|
| Fri, 25 Apr 2025 11:34:29 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 25 Apr 2025 11:22:25 +0200 |
wenzelm |
more scalable: discontinue odd shortcuts from 6b3739fee456, which produce bulky strings internally;
|
changeset |
files
|
| Sat, 26 Apr 2025 08:34:03 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 25 Apr 2025 09:46:21 +0200 |
desharna |
preserved facts order in Sledgehammer's linear minimizer
|
changeset |
files
|
| Thu, 24 Apr 2025 23:29:57 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 24 Apr 2025 22:45:04 +0200 |
wenzelm |
more scalable;
|
changeset |
files
|
| Thu, 24 Apr 2025 21:39:40 +0200 |
wenzelm |
more scalable;
|
changeset |
files
|
| Thu, 24 Apr 2025 20:42:04 +0200 |
wenzelm |
more scalable output;
|
changeset |
files
|