NEWS
changeset 14885 0a840138dcd7
parent 14878 b884a7ba7238
child 14897 577f95db94e4
     1.1 --- a/NEWS	Tue Jun 08 16:33:44 2004 +0200
     1.2 +++ b/NEWS	Tue Jun 08 16:40:41 2004 +0200
     1.3 @@ -94,6 +94,12 @@
     1.4    full type-inference.
     1.5  
     1.6  
     1.7 +*** ZF ***
     1.8 +
     1.9 +* ZF/ex/{Group,Ring}: examples in abstract algebra, including the First
    1.10 +  Isomorphism Theorem (on quotienting by the kernel of a homomorphism).
    1.11 +
    1.12 +
    1.13  
    1.14  New in Isabelle2004 (April 2004)
    1.15  --------------------------------