# HG changeset patch
# User paulson
# Date 994167625 -7200
# Node ID 0427e3c880628291c806197987f61e5af0a0d34c
# Parent  48fc0db9b896f03933a5fe9e226aedb3dcebbb17
GroupTheory

diff -r 48fc0db9b896 -r 0427e3c88062 NEWS
--- a/NEWS	Tue Jul 03 15:29:29 2001 +0200
+++ b/NEWS	Tue Jul 03 15:40:25 2001 +0200
@@ -17,6 +17,9 @@
   (rare) case use   delSWrapper "split_all_tac" addSbefore 
                     ("unsafe_split_all_tac", unsafe_split_all_tac)
 
+* HOL/GroupTheory: group theory examples including Sylow's theorem, by Florian
+  Kammueller;
+
 * ZF: the integer library now covers quotients and remainders, with many laws
 relating division to addition, multiplication, etc.;