# HG changeset patch
# User paulson
# Date 1086705641 -7200
# Node ID 0a840138dcd7c7d31f2843286db5170c9972f105
# Parent  0d7d8b1b3a97c9bee6c42e766ce4a7637dc5927f
Groups, Rings and supporting lemmas in ZF

diff -r 0d7d8b1b3a97 -r 0a840138dcd7 NEWS
--- 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)
 --------------------------------