NEWS on homology
authorpaulson <lp15@cam.ac.uk>
Mon Apr 08 20:37:03 2019 +0100 (5 months ago)
changeset 700872d19e7eb027a
parent 70086 72c52a897de2
child 70088 187ae5cb2f03
NEWS on homology
NEWS
     1.1 --- a/NEWS	Mon Apr 08 15:26:54 2019 +0100
     1.2 +++ b/NEWS	Mon Apr 08 20:37:03 2019 +0100
     1.3 @@ -233,7 +233,10 @@
     1.4  * Session HOL-Number_Theory: More material on residue rings in
     1.5  Carmichael's function, primitive roots, more properties for "ord".
     1.6  
     1.7 -* Session HOL-Analysis: More material and better organization.
     1.8 +* Session HOL-Analysis: Better organization and much more material,
     1.9 +including algebraic topology.
    1.10 +
    1.11 +* Session HOL-Algebra: Much more material on group theory.
    1.12  
    1.13  * Session HOL-SPARK: .prv files are no longer written to the
    1.14  file-system, but exported to the session database. Results may be