| Wed, 20 Mar 2024 20:45:36 +0100 |
desharna |
merged
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 12:26:52 +0100 |
desharna |
try proof method "order" in Sledgehammer's proof reconstruction
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 11:55:58 +0100 |
desharna |
added Mirabelle action "order"
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 11:11:04 +0100 |
desharna |
renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 09:26:25 +0100 |
desharna |
added lemma order_reflclp_if_transp_and_asymp
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 09:24:12 +0100 |
desharna |
added lemmas antisym_on_reflcl_if_asym_on and antisymp_on_reflclp_if_asymp_on
|
file |
diff |
annotate
|
| Wed, 20 Mar 2024 16:05:15 +0100 |
Manuel Eberl |
more general definition of meromorphicity; Weierstraß factorisation theorem
|
file |
diff |
annotate
|
| Sun, 17 Mar 2024 19:45:07 +0100 |
desharna |
added alias wfp for wfP
|
file |
diff |
annotate
|
| Sun, 17 Mar 2024 12:34:11 +0100 |
desharna |
added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset
|
file |
diff |
annotate
|
| Sun, 17 Mar 2024 09:03:18 +0100 |
desharna |
added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf, wf_on_iff_ex_minimal, and wfp_on_iff_ex_minimal
|
file |
diff |
annotate
|
| Sat, 16 Mar 2024 09:05:17 +0100 |
desharna |
added definitions wf_on and wfp_on as restricted versions of wf and wfP respectively
|
file |
diff |
annotate
|
| Fri, 15 Mar 2024 18:54:15 +0100 |
desharna |
added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image, reflp_on_image, symp_on_image, totalp_on_image, and transp_on_image
|
file |
diff |
annotate
|
| Thu, 14 Mar 2024 11:03:23 +0100 |
wenzelm |
update NEWS + CONTRIBUTORS for release;
|
file |
diff |
annotate
|
| Fri, 08 Mar 2024 11:09:44 +0100 |
wenzelm |
update NEWS;
|
file |
diff |
annotate
|
| Thu, 29 Feb 2024 11:18:26 +0100 |
desharna |
added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]
|
file |
diff |
annotate
|
| Wed, 06 Mar 2024 21:52:58 +0100 |
wenzelm |
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
|
file |
diff |
annotate
|
| Wed, 06 Mar 2024 17:04:54 +0100 |
wenzelm |
update to current long-term-support version dotnet-8.0.x;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 20:25:02 +0100 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 18:42:09 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 18:41:56 +0100 |
wenzelm |
update NEWS;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 15:02:31 +0100 |
desharna |
added lemmas rtranclp_ident_if_reflp_and_transp and tranclp_ident_if_transp
|
file |
diff |
annotate
|
| Sun, 03 Mar 2024 12:28:22 +0100 |
wenzelm |
official support for arm64-linux, despite a few missing tools;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2024 16:27:36 +0100 |
Fabian Huch |
update NEWS, following 0d7c7fe65638;
|
file |
diff |
annotate
|
| Thu, 29 Feb 2024 17:03:00 +0100 |
wenzelm |
tuned NEWS, see also c62003e05e46;
|
file |
diff |
annotate
|
| Thu, 29 Feb 2024 16:59:47 +0100 |
wenzelm |
update NEWS, following ea1913c953ef;
|
file |
diff |
annotate
|
| Thu, 29 Feb 2024 16:57:09 +0100 |
wenzelm |
tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:";
|
file |
diff |
annotate
|
| Thu, 29 Feb 2024 16:55:10 +0100 |
wenzelm |
more explicit NEWS (see 3648e9c88d0c);
|
file |
diff |
annotate
|
| Thu, 29 Feb 2024 11:12:10 +0100 |
wenzelm |
NEWS for a53287d9add3, 3e30ca77ccfe;
|
file |
diff |
annotate
|
| Wed, 28 Feb 2024 17:25:54 +0100 |
Fabian Huch |
add option for unify trace (now disabled by default as printing is excessive and rarely used);
|
file |
diff |
annotate
|
| Fri, 23 Feb 2024 09:11:31 +0100 |
blanchet |
new less ad hoc implementation of the 'moura' tactic for skolemization
|
file |
diff |
annotate
|