isabelle: Changelog

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;

wenzelm [Sat, 17 Dec 2022 19:06:40 +0100] rev 76668

clarified signature;

wenzelm [Sat, 17 Dec 2022 17:28:05 +0100] rev 76667

unused;

wenzelm [Sat, 17 Dec 2022 17:02:09 +0100] rev 76666

clarified signature;

wenzelm [Sat, 17 Dec 2022 16:41:54 +0100] rev 76665

tuned whitespace;

wenzelm [Sat, 17 Dec 2022 16:40:24 +0100] rev 76664

tuned;

isabelle