NEWS
changeset 11314 f6eebbbed449
parent 11307 891fbd3f4881
child 11361 879e53d92f51
     1.1 --- a/NEWS	Sun May 20 13:16:27 2001 +0200
     1.2 +++ b/NEWS	Mon May 21 12:51:15 2001 +0200
     1.3 @@ -14,6 +14,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 +* ZF: the integer library now covers quotients and remainders, with many laws
     1.8 +relating division to addition, multiplication, etc.;
     1.9 +
    1.10  
    1.11  New in Isabelle99-2 (February 2001)
    1.12  -----------------------------------