# HG changeset patch # User desharna # Date 1743495614 -7200 # Node ID b161057bdd41daa02d931f65e1c951e863041e24 # Parent e9089202f3dfec521471a83c0ab707be142afe94 tuned whitespaces diff -r e9089202f3df -r b161057bdd41 NEWS --- a/NEWS Mon Mar 31 22:46:18 2025 +0100 +++ b/NEWS Tue Apr 01 10:20:14 2025 +0200 @@ -36,10 +36,10 @@ * Theory "HOL.Fun": - Added lemmas. mono_on_strict_invE - mono_on_invE - strict_mono_on_eq - strict_mono_on_less_eq - strict_mono_on_less + mono_on_invE + strict_mono_on_eq + strict_mono_on_less_eq + strict_mono_on_less antimonotone_on_inf_fun antimonotone_on_sup_fun monotone_on_inf_fun