changeset 14885 | 0a840138dcd7 |
parent 14878 | b884a7ba7238 |
child 14897 | 577f95db94e4 |
--- 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) --------------------------------