| changeset 80316 | 82c20eaad94a |
| parent 80285 | 8678986d9af5 |
| child 80321 | 31b9dfbe534c |
--- a/NEWS Sun Jun 09 22:40:13 2024 +0200 +++ b/NEWS Mon Jun 10 08:25:55 2024 +0200 @@ -9,8 +9,10 @@ * Theory "HOL.Wellfounded": - Renamed lemmas. Minor INCOMPATIBILITY. + wfP_accp_iff ~> wfp_accp_iff wfP_if_convertible_to_nat ~> wfp_if_convertible_to_nat wfP_if_convertible_to_wfP ~> wfp_if_convertible_to_wfp + wf_acc_iff ~> wf_iff_acc New in Isabelle2024 (May 2024)