NEWS
changeset 11397 0427e3c88062
parent 11361 879e53d92f51
child 11437 2338bce575ae
     1.1 --- a/NEWS	Tue Jul 03 15:29:29 2001 +0200
     1.2 +++ b/NEWS	Tue Jul 03 15:40:25 2001 +0200
     1.3 @@ -17,6 +17,9 @@
     1.4    (rare) case use   delSWrapper "split_all_tac" addSbefore 
     1.5                      ("unsafe_split_all_tac", unsafe_split_all_tac)
     1.6  
     1.7 +* HOL/GroupTheory: group theory examples including Sylow's theorem, by Florian
     1.8 +  Kammueller;
     1.9 +
    1.10  * ZF: the integer library now covers quotients and remainders, with many laws
    1.11  relating division to addition, multiplication, etc.;
    1.12