1.1 --- a/ANNOUNCE	Mon Jan 17 22:54:08 2011 +0100
     1.2 +++ b/ANNOUNCE	Mon Jan 17 22:57:17 2011 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4    Sledgehammer, SMT integration.
     1.5  
     1.6  * HOL: various additions to theory library, including HOL-Algebra,
     1.7 -  Imperative_HOL Multivariate_Analysis, Probability.
     1.8 +  Imperative_HOL, Multivariate_Analysis, Probability.
     1.9  
    1.10  * HOLCF: reorganization of library and related tools.
    1.11