isabelle: Changelog

desharna [Sat, 04 Jun 2022 16:00:14 +0200] rev 75504

added lemmas reflp_on_subset, totalp_on_subset, and total_on_subset

desharna [Sat, 04 Jun 2022 15:43:34 +0200] rev 75503

introduced predicate reflp_on and redefined reflp to be an abbreviation

nipkow [Tue, 31 May 2022 20:56:09 +0200] rev 75502

merged

nipkow [Tue, 31 May 2022 20:55:51 +0200] rev 75501

insort renamings

wenzelm [Tue, 31 May 2022 13:29:47 +0200] rev 75500

more operations; tuned signature;

wenzelm [Tue, 31 May 2022 13:14:46 +0200] rev 75499

support explicit SSH port;

wenzelm [Tue, 31 May 2022 12:48:12 +0200] rev 75498

redundant (after f28aee3ad1e6): self_update already takes care of currently active Isabelle clone;

wenzelm [Mon, 30 May 2022 22:34:45 +0200] rev 75497

clarified options;

nipkow [Mon, 30 May 2022 20:58:45 +0200] rev 75496

Added lemmas

paulson [Mon, 30 May 2022 12:46:22 +0100] rev 75495

merged

isabelle