doc: update RELEASES for rcases using the custom Nat eliminator#3902
Merged
kmill merged 1 commit intoleanprover:masterfrom kmill:releases_not_rcasesApr 13, 2024
+4-2
rcases using the custom Nat eliminator#3902