NEWS
changeset 27143 574a09bcdb02
parent 27141 9bfcdb1905e1
child 27145 0337828b7815
equal deleted inserted replaced
27142:92e8a38fd8f6 27143:574a09bcdb02
    41 INCOMPATIBILITY.
    41 INCOMPATIBILITY.
    42 
    42 
    43 * Library/Nat_Infinity: added addition, numeral syntax and more
    43 * Library/Nat_Infinity: added addition, numeral syntax and more
    44 instantiations for algebraic structures.  Removed some duplicate
    44 instantiations for algebraic structures.  Removed some duplicate
    45 theorems.  Changes in simp rules.  INCOMPATIBILITY.
    45 theorems.  Changes in simp rules.  INCOMPATIBILITY.
       
    46 
    46 
    47 
    47 
    48 
    48 New in Isabelle2008 (June 2008)
    49 New in Isabelle2008 (June 2008)
    49 -------------------------------
    50 -------------------------------
    50 
    51