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
draft default tip
|
changeset |
files
|
Sun, 17 Mar 2024 09:05:44 +0100 |
desharna |
tuned proofs
|
changeset |
files
|
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
|
changeset |
files
|
Sun, 17 Mar 2024 07:45:12 +0100 |
desharna |
merged
|
changeset |
files
|
Sat, 16 Mar 2024 21:22:02 +0100 |
Fabian Huch |
read/write proper schedule date (amending 9da3019e1ee5);
|
changeset |
files
|
Sat, 16 Mar 2024 17:00:13 +0100 |
Fabian Huch |
allow read/write of schedule in build (read via option, write from tool);
|
changeset |
files
|
Sat, 16 Mar 2024 16:46:52 +0100 |
Fabian Huch |
file representation for schedule (e.g., for generating from external tool);
|
changeset |
files
|
Sat, 16 Mar 2024 15:00:18 +0100 |
Fabian Huch |
proper median/mean time;
|
changeset |
files
|
Sat, 16 Mar 2024 14:43:48 +0100 |
Fabian Huch |
remove schedule outdated limit: delay is sufficient;
|
changeset |
files
|
Sat, 16 Mar 2024 11:00:18 +0100 |
Fabian Huch |
tuned whitespace;
|
changeset |
files
|
... |
Tue, 05 Mar 2024 20:58:19 +0100 |
Isabelle2024-RC0 |
changeset |
changelog |
files
|
Mon, 11 Sep 2023 19:30:48 +0200 |
Isabelle2023 |
changeset |
changelog |
files
|
Sun, 03 Sep 2023 16:56:43 +0200 |
Isabelle2023-RC5 |
changeset |
changelog |
files
|
Sun, 27 Aug 2023 15:28:48 +0200 |
Isabelle2023-RC4 |
changeset |
changelog |
files
|
Thu, 10 Aug 2023 20:39:28 +0200 |
Isabelle2023-RC3 |
changeset |
changelog |
files
|
Wed, 26 Jul 2023 20:15:31 +0200 |
Isabelle2023-RC2 |
changeset |
changelog |
files
|
Tue, 11 Jul 2023 19:31:22 +0200 |
Isabelle2023-RC1 |
changeset |
changelog |
files
|
Wed, 07 Jun 2023 15:35:19 +0200 |
Isabelle2023-RC0 |
changeset |
changelog |
files
|
Tue, 20 Dec 2022 11:57:50 +0100 |
lambda-types |
changeset |
changelog |
files
|
Mon, 24 Oct 2022 20:37:32 +0200 |
Isabelle2022 |
changeset |
changelog |
files
|
... |