Groups, Rings and supporting lemmas in ZF
authorpaulson
Tue Jun 08 16:40:41 2004 +0200 (2004-06-08)
changeset 148850a840138dcd7
parent 14884 0d7d8b1b3a97
child 14886 b792081d2399
Groups, Rings and supporting lemmas in ZF
NEWS
     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  --------------------------------