wenzelm [Sun, 14 Jan 2024 13:59:13 +0100] rev 79486
merged
wenzelm [Sun, 14 Jan 2024 13:14:35 +0100] rev 79485
tuned;
wenzelm [Sun, 14 Jan 2024 13:13:26 +0100] rev 79484
update links;
wenzelm [Sat, 13 Jan 2024 21:51:51 +0100] rev 79483
follow post-maintenance updates of original Phabricator, as base-line for Phorge;
wenzelm [Sat, 13 Jan 2024 21:50:16 +0100] rev 79482
refer to "localhost" as pro-forma domain;
haftmann [Sat, 13 Jan 2024 19:50:15 +0000] rev 79481
simplified specification of type class
haftmann [Sat, 13 Jan 2024 19:50:12 +0000] rev 79480
consolidated name of lemma analogously to nat/int/word_bit_induct
wenzelm [Fri, 12 Jan 2024 17:00:35 +0100] rev 79479
more accurate syntax: 'obtain' vars are optional;
wenzelm [Thu, 11 Jan 2024 16:34:40 +0100] rev 79478
clarified order, disregard structure of proof;
wenzelm [Thu, 11 Jan 2024 15:37:11 +0100] rev 79477
minor performance tuning;