Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 76571 5a13f1519f5d
parent 76570 608489919ecf
child 76572 d8542bc5a3fa 
--- a/NEWS	Wed Nov 23 09:57:59 2022 +0100
+++ b/NEWS	Wed Nov 23 10:02:04 2022 +0100
@@ -56,6 +56,7 @@
       preorder.reflp_on_ge[simp]
       preorder.reflp_on_le[simp]
       reflp_on_conversp[simp]
+      totalI
       totalp_on_singleton[simp]
 
 * Theory "HOL.Transitive_Closure":
isabelle