1.1 --- a/NEWS	Mon Sep 12 09:37:49 2011 -0700
     1.2 +++ b/NEWS	Mon Sep 12 10:28:45 2011 -0700
     1.3 @@ -229,7 +229,7 @@
     1.4      reals. INCOMPATIBILITY.
     1.5  
     1.6  * Theory Library/Extended_Reals replaces now the positive extended reals
     1.7 -  found in probabilty thoery. This file is extended by
     1.8 +  found in probability theory. This file is extended by
     1.9    Multivariate_Analysis/Extended_Real_Limits.
    1.10  
    1.11  * Old 'recdef' package has been moved to theory Library/Old_Recdef,