Tue, 26 Mar 2024 16:01:54 +0100 | Fabian Huch | allow raw input in HTML (e.g., for web applications); | changeset | files |
Tue, 26 Mar 2024 09:31:34 +0100 | desharna | added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on | changeset | files |
Tue, 26 Mar 2024 06:32:38 +0100 | desharna | merged | changeset | files |
Mon, 25 Mar 2024 19:27:53 +0100 | desharna | added lemma wf_on_iff_wf | changeset | files |
Mon, 25 Mar 2024 19:27:32 +0100 | desharna | changed number of consumed assumptions of wf_on_induct and wfp_on_induct | changeset | files |
Mon, 25 Mar 2024 21:04:26 +0100 | wenzelm | obsolete: base-line is macOS 11; | changeset | files |
Mon, 25 Mar 2024 20:55:27 +0100 | wenzelm | more robust: always assume x86_64 (or its emulation on ARM); | changeset | files |