tuned;

--- a/ANNOUNCE	Fri Oct 06 17:21:46 2000 +0200
+++ b/ANNOUNCE	Fri Oct 06 17:22:15 2000 +0200
@@ -54,12 +54,11 @@
     Fundamental Theorem of Arithmetic, Chinese Remainder Theorem,
     Fermat/Euler Theorem, Wilson's Theorem.
 
-  * HOL/Real (Jacques Fleuriot)
-    More on nonstandard real analysis.
-
   * HOL/Prolog (David von Oheimb)
     A (bare-bones) implementation of Lambda-Prolog.
 
+  * HOL/Real (Jacques Fleuriot)
+    More on nonstandard real analysis.
 
 
 See the NEWS file distributed with Isabelle for more details.