Sat, 22 Apr 2023 20:55:05 +0200 |
wenzelm |
provide ML antiquotation "if_none": non-strict version of "the_default";
|
changeset |
files
|
Sat, 22 Apr 2023 10:22:41 +0200 |
wenzelm |
merged
|
changeset |
files
|
Fri, 21 Apr 2023 21:26:29 +0200 |
wenzelm |
proper Thm.trim_context / Thm.transfer (see also 0d401f874942);
|
changeset |
files
|
Fri, 21 Apr 2023 21:25:10 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 21 Apr 2023 21:12:26 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
Fri, 21 Apr 2023 18:53:25 +0200 |
wenzelm |
more operations;
|
changeset |
files
|
Fri, 21 Apr 2023 15:30:59 +0200 |
wenzelm |
more uniform operations wrt. Thm.full_prop_of;
|
changeset |
files
|
Fri, 21 Apr 2023 15:26:11 +0200 |
wenzelm |
proper Thm.trim_context / Thm.transfer for context data;
|
changeset |
files
|
Fri, 21 Apr 2023 15:14:14 +0200 |
wenzelm |
tuned: more concise data record;
|
changeset |
files
|
Fri, 21 Apr 2023 15:00:54 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 21 Apr 2023 13:59:35 +0200 |
wenzelm |
clarified counters and types;
|
changeset |
files
|
Thu, 20 Apr 2023 23:04:04 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
Thu, 20 Apr 2023 21:26:35 +0200 |
wenzelm |
support n-ary merge theory data;
|
changeset |
files
|
Thu, 20 Apr 2023 15:26:34 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 20 Apr 2023 15:24:31 +0200 |
wenzelm |
tuned;
|
changeset |
files
|