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 80397 7e0cbc6600b9
parent 80333 9f7214d00884
child 80453 7a2d9e3fcdd5 
--- a/NEWS	Sun Jun 16 21:54:09 2024 +0200
+++ b/NEWS	Mon Jun 17 09:00:46 2024 +0200
@@ -8,6 +8,8 @@
 ----------------------------
 
 * Theory "HOL.Wellfounded":
+  - Removed lemma wellorder.wfP_less. Use wellorder.wfp_on_less instead.
+    Minor INCOMPATIBILITIES.
   - Renamed lemmas. Minor INCOMPATIBILITY.
       accp_wfPD ~> accp_wfpD
       accp_wfPI ~> accp_wfpI
isabelle