--- 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.