isabelle: Changelog

wenzelm [Sun, 18 Dec 2022 15:49:37 +0100] rev 76678

clarified signature;

wenzelm [Sun, 18 Dec 2022 14:39:35 +0100] rev 76677

clarified signature;

desharna [Sun, 18 Dec 2022 13:53:05 +0100] rev 76676

merged

desharna [Fri, 16 Dec 2022 10:34:58 +0100] rev 76675

strengthened and renamed symp_symclp

nipkow [Sat, 17 Dec 2022 21:26:36 +0100] rev 76674

merged

nipkow [Sat, 17 Dec 2022 21:26:24 +0100] rev 76673

Tuned text

wenzelm [Sat, 17 Dec 2022 19:44:14 +0100] rev 76672

clarified signature: avoid confusion due to redundant standard_path, which is already used here (but not elsewhere);

wenzelm [Sat, 17 Dec 2022 19:35:49 +0100] rev 76671

clarified signature: avoid case class with redefined equality;

wenzelm [Sat, 17 Dec 2022 19:19:10 +0100] rev 76670

discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754);

wenzelm [Sat, 17 Dec 2022 19:09:46 +0100] rev 76669

tuned;

isabelle