GroupTheory

--- 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.;