Tue, 03 Jan 2023 16:05:07 +0100 wenzelm clarified modules;
Tue, 03 Jan 2023 15:42:25 +0100 wenzelm tuned;
Tue, 03 Jan 2023 15:32:54 +0100 wenzelm tuned;
Tue, 03 Jan 2023 15:03:48 +0100 wenzelm clarified master_dir: avoid somewhat fragile Document.Node.Name.master_dir_path;
Tue, 03 Jan 2023 14:00:59 +0100 wenzelm tuned signature: avoid too many aliases (see also 72daee8a39ca);
Tue, 03 Jan 2023 12:58:00 +0100 wenzelm clarified modules;
Tue, 03 Jan 2023 18:23:52 +0100 desharna merged
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
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip