author | paulson |
Tue Jul 03 15:40:25 2001 +0200 (2001-07-03) | |
changeset 11397 | 0427e3c88062 |
parent 11396 | 48fc0db9b896 |
child 11398 | d7711be8c3a9 |
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