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 |