| changeset 82299 | a0693649e9c6 |
| parent 82298 | c65013be534b |
| child 82304 | 4fbdef3e2a55 |
--- a/NEWS Mon Mar 17 11:30:39 2025 +0100 +++ b/NEWS Mon Mar 17 16:29:48 2025 +0100 @@ -60,6 +60,8 @@ transp_on_top[simp] * Theory "HOL.Wellfounded": + - Removed lemmas. Minor INCOMPATIBILITY. + wf_empty[iff] (use wf_on_bot instead) - Added lemmas. bex_rtrancl_min_element_if_wf_on bex_rtrancl_min_element_if_wfp_on