equal
deleted
inserted
replaced
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 |