ANNOUNCE
changeset 70107 491453ea09bb
parent 70032 0674c24afc5e
child 70286 9d7256d23ae3
     1.1 --- a/ANNOUNCE	Wed Apr 10 15:45:16 2019 +0200
     1.2 +++ b/ANNOUNCE	Wed Apr 10 16:15:45 2019 +0200
     1.3 @@ -18,7 +18,8 @@
     1.4  
     1.5  * HOL: various syntax and library improvements.
     1.6  
     1.7 -* HOL-Analysis: more material and better organization.
     1.8 +* HOL libraries: better organization and much more material in HOL-Algebra,
     1.9 +HOL-Analysis, HOL-Homology.
    1.10  
    1.11  * Isabelle/ML environments for separate SML applications.
    1.12