Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespaces
authordesharna
Tue, 01 Apr 2025 10:20:14 +0200
changeset 82392 b161057bdd41
parent 82391 e9089202f3df
child 82393 88064da0ae76
tuned whitespaces
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle