more correct spelling;
authorwenzelm
Fri Nov 26 14:19:16 2010 +0100 (2010-11-26)
changeset 40712ed0add6f69a7
parent 40711 81bc73585eec
child 40713 7f745e4b7cce
child 40716 a92d744bca5f
more correct spelling;
NEWS
     1.1 --- a/NEWS	Fri Nov 26 12:03:18 2010 +0100
     1.2 +++ b/NEWS	Fri Nov 26 14:19:16 2010 +0100
     1.3 @@ -294,10 +294,9 @@
     1.4  derive instantiated and simplified equations for inductive predicates,
     1.5  similar to inductive_cases.
     1.6  
     1.7 -* "bij f" is now an abbreviation of "bij_betw f UNIV UNIV". "surj f" is now an
     1.8 -abbreviation of "range f = UIV". The theorems bij_def and surj_def are
     1.9 -unchanged.
    1.10 -INCOMPATIBILITY.
    1.11 +* "bij f" is now an abbreviation of "bij_betw f UNIV UNIV". "surj f"
    1.12 +is now an abbreviation of "range f = UNIV". The theorems bij_def and
    1.13 +surj_def are unchanged.  INCOMPATIBILITY.
    1.14  
    1.15  * Function package: .psimps rules are no longer implicitly declared [simp].
    1.16  INCOMPATIBILITY.