# HG changeset patch
# User paulson
# Date 982076756 -3600
# Node ID 43791f99d71e770c535b9f1fb037fcfabbafc985
# Parent  09879d39b3f57b5d237dfea03ec9e3c7df6d1ba7
swapped Fleuriot and Paulson

diff -r 09879d39b3f5 -r 43791f99d71e ANNOUNCE
--- a/ANNOUNCE	Tue Feb 13 16:05:09 2001 +0100
+++ b/ANNOUNCE	Tue Feb 13 16:05:56 2001 +0100
@@ -27,7 +27,7 @@
       Thomas M Rasmussen, Markus Wenzel)
     A collection of generic theories to be used together with main HOL.
 
-  * HOL/Real and HOL/Hyperreal (Lawrence C Paulson and Jacques Fleuriot)
+  * HOL/Real and HOL/Hyperreal (Jacques Fleuriot and Lawrence C Paulson)
     General cleanup, more on nonstandard real analysis.
 
   * HOL/Unix (Markus Wenzel)