# HG changeset patch
# User wenzelm
# Date 1290777556 -3600
# Node ID ed0add6f69a7b90f27e3b95cc8dce1201ea47dd0
# Parent  81bc73585eec58faf2a83ddfafb244fdf15f1430
more correct spelling;

diff -r 81bc73585eec -r ed0add6f69a7 NEWS
--- a/NEWS	Fri Nov 26 12:03:18 2010 +0100
+++ b/NEWS	Fri Nov 26 14:19:16 2010 +0100
@@ -294,10 +294,9 @@
 derive instantiated and simplified equations for inductive predicates,
 similar to inductive_cases.
 
-* "bij f" is now an abbreviation of "bij_betw f UNIV UNIV". "surj f" is now an
-abbreviation of "range f = UIV". The theorems bij_def and surj_def are
-unchanged.
-INCOMPATIBILITY.
+* "bij f" is now an abbreviation of "bij_betw f UNIV UNIV". "surj f"
+is now an abbreviation of "range f = UNIV". The theorems bij_def and
+surj_def are unchanged.  INCOMPATIBILITY.
 
 * Function package: .psimps rules are no longer implicitly declared [simp].
 INCOMPATIBILITY.