diff -r 21c3b55787a6 -r 35e40c60c680 NEWS
--- a/NEWS	Wed May 21 14:38:46 2025 +0200
+++ b/NEWS	Wed May 21 20:13:43 2025 +0200
@@ -78,7 +78,7 @@
 
 *** HOL ***
 
-* ML bindings for theorms Ball_def, Bex_def, CollectD, CollectE, CollectI,
+* ML bindings for theorems Ball_def, Bex_def, CollectD, CollectE, CollectI,
 Collect_conj_eq, Collect_mem_eq, IntD1, IntD2, IntE, IntI, Int_Collect, UNIV_I,
 UNIV_witness, UnE, UnI1, UnI2, ballE, ballI, bexCI, bexE, bexI, bex_triv, bspec,
 contra_subsetD, equalityCE, equalityD1, equalityD2, equalityE, equalityI,