NEWS
changeset 70215 8371a25ca177
parent 70175 85fb1a585f52
child 70237 7e9269c188d6
     1.1 --- a/NEWS	Mon Apr 29 17:11:26 2019 +0100
     1.2 +++ b/NEWS	Tue Apr 30 11:57:45 2019 +0100
     1.3 @@ -266,7 +266,7 @@
     1.4  at the level of abstract topological spaces.
     1.5  
     1.6  * Session HOL-Algebra: Free abelian groups, etc., ported from HOL Light;
     1.7 -proofs towards algebraic closure by de Vilhena and Baillon.
     1.8 + algebraic closure of a field by de Vilhena and Baillon.
     1.9  
    1.10  * Session HOL-Homology has been added. It is a port of HOL Light's
    1.11  homology library, with new proofs of "invariance of domain" and related