1.1 --- a/ANNOUNCE	Tue Feb 13 16:05:09 2001 +0100
     1.2 +++ b/ANNOUNCE	Tue Feb 13 16:05:56 2001 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4        Thomas M Rasmussen, Markus Wenzel)
     1.5      A collection of generic theories to be used together with main HOL.
     1.6  
     1.7 -  * HOL/Real and HOL/Hyperreal (Lawrence C Paulson and Jacques Fleuriot)
     1.8 +  * HOL/Real and HOL/Hyperreal (Jacques Fleuriot and Lawrence C Paulson)
     1.9      General cleanup, more on nonstandard real analysis.
    1.10  
    1.11    * HOL/Unix (Markus Wenzel)