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 76573 cbf38b7cb195
parent 76572 d8542bc5a3fa
child 76574 7bc934b99faf 
--- a/NEWS	Wed Nov 23 10:23:18 2022 +0100
+++ b/NEWS	Wed Nov 23 10:27:24 2022 +0100
@@ -59,6 +59,7 @@
       preorder.reflp_on_le[simp]
       reflp_on_conversp[simp]
       totalI
+      totalp_on_converse[simp]
       totalp_on_singleton[simp]
 
 * Theory "HOL.Transitive_Closure":
isabelle