ANNOUNCE
changeset 10167 4ede3a80e5e5
parent 10166 fb99cee36240
child 10168 50be659d4222
     1.1 --- a/ANNOUNCE	Fri Oct 06 17:21:46 2000 +0200
     1.2 +++ b/ANNOUNCE	Fri Oct 06 17:22:15 2000 +0200
     1.3 @@ -54,12 +54,11 @@
     1.4      Fundamental Theorem of Arithmetic, Chinese Remainder Theorem,
     1.5      Fermat/Euler Theorem, Wilson's Theorem.
     1.6  
     1.7 -  * HOL/Real (Jacques Fleuriot)
     1.8 -    More on nonstandard real analysis.
     1.9 -
    1.10    * HOL/Prolog (David von Oheimb)
    1.11      A (bare-bones) implementation of Lambda-Prolog.
    1.12  
    1.13 +  * HOL/Real (Jacques Fleuriot)
    1.14 +    More on nonstandard real analysis.
    1.15  
    1.16  
    1.17  See the NEWS file distributed with Isabelle for more details.