swapped Fleuriot and Paulson
authorpaulson
Tue Feb 13 16:05:56 2001 +0100 (2001-02-13)
changeset 1110843791f99d71e
parent 11107 09879d39b3f5
child 11109 ce1cefc6c14c
swapped Fleuriot and Paulson
ANNOUNCE
     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)