--- a/NEWS Wed May 10 08:56:32 2023 +0200
+++ b/NEWS Wed May 10 08:59:44 2023 +0200
@@ -275,6 +275,8 @@
totalp_multpHO
totalp_on_multpDM
totalp_on_multpHO
+ transp_multpHO
+ transp_on_multpHO
* 'primcorec': Made the internal tactic more robust in the face of
nested corecursion.