# HG changeset patch
# User haftmann
# Date 1747851223 -7200
# Node ID 35e40c60c680fe87db2f221712ac81f8abec22a4
# Parent  21c3b55787a60f167f6020d6313629da50df8fc0
typo

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,