# 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