NEWS

--- a/NEWS	Wed Apr 26 22:02:59 2023 +0200
+++ b/NEWS	Thu Apr 27 16:15:19 2023 +0200
@@ -257,6 +257,9 @@
       totalp_on_multpDM
       totalp_on_multpHO
 
+* 'primcorec': Made the internal tactic more robust in the face of
+  nested corecursion.
+
 * HOL-Algebra: new theories SimpleGroups (simple groups) 
   and SndIsomorphismGrp (second isomorphism theorem for groups), 
   by Jakob von Raumer