isabelle: Changelog

wenzelm [Tue, 24 Jan 2023 15:16:24 +0100] rev 77072

more robust and uniform Other_Isabelle.scala_build;

wenzelm [Tue, 24 Jan 2023 15:00:01 +0100] rev 77071

tuned;

wenzelm [Tue, 24 Jan 2023 14:55:19 +0100] rev 77070

tuned message;

wenzelm [Tue, 24 Jan 2023 14:46:51 +0100] rev 77069

more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts;

wenzelm [Tue, 24 Jan 2023 11:36:15 +0100] rev 77068

more strict;

wenzelm [Tue, 24 Jan 2023 11:34:39 +0100] rev 77067

tuned signature;

wenzelm [Tue, 24 Jan 2023 11:30:56 +0100] rev 77066

proper ssh.bash_path;

desharna [Tue, 24 Jan 2023 16:32:54 +0100] rev 77065

merged

desharna [Mon, 23 Jan 2023 15:11:50 +0100] rev 77064

added lemma irreflp_on_multpHO[simp]

desharna [Mon, 23 Jan 2023 14:40:23 +0100] rev 77063

added lemmas totalp_on_multpDM, totalp_multpDM, totalp_on_multpHO, and totalp_multpHO

isabelle