Groups, Rings and supporting lemmas in ZF

--- a/NEWS	Tue Jun 08 16:33:44 2004 +0200
+++ b/NEWS	Tue Jun 08 16:40:41 2004 +0200
@@ -94,6 +94,12 @@
   full type-inference.
 
 
+*** ZF ***
+
+* ZF/ex/{Group,Ring}: examples in abstract algebra, including the First
+  Isomorphism Theorem (on quotienting by the kernel of a homomorphism).
+
+
 
 New in Isabelle2004 (April 2004)
 --------------------------------