# HG changeset patch
# User wenzelm
# Date 970845735 -7200
# Node ID 4ede3a80e5e562264e457c56e8dceebd6324af64
# Parent  fb99cee36240fe2c0d5c51afe3edb0530355c25e
tuned;

diff -r fb99cee36240 -r 4ede3a80e5e5 ANNOUNCE
--- 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.