Tue, 03 Jan 2023 16:05:07 +0100 | wenzelm | clarified modules; | changeset | files |
Tue, 03 Jan 2023 15:42:25 +0100 | wenzelm | tuned; | changeset | files |
Tue, 03 Jan 2023 15:32:54 +0100 | wenzelm | tuned; | changeset | files |
Tue, 03 Jan 2023 15:03:48 +0100 | wenzelm | clarified master_dir: avoid somewhat fragile Document.Node.Name.master_dir_path; | changeset | files |
Tue, 03 Jan 2023 14:00:59 +0100 | wenzelm | tuned signature: avoid too many aliases (see also 72daee8a39ca); | changeset | files |
Tue, 03 Jan 2023 12:58:00 +0100 | wenzelm | clarified modules; | changeset | files |
Tue, 03 Jan 2023 18:23:52 +0100 | desharna | merged | changeset | files |
Mon, 26 Dec 2022 14:34:32 +0100 | desharna | strengthened and renamed lemmas asym_on_iff_irrefl_on_if_trans and asymp_on_iff_irreflp_on_if_transp | changeset | files |