equal
deleted
inserted
replaced
51 datatype constructors have been renamed from InfixName to Infix etc. |
51 datatype constructors have been renamed from InfixName to Infix etc. |
52 Minor INCOMPATIBILITY. |
52 Minor INCOMPATIBILITY. |
53 |
53 |
54 |
54 |
55 *** HOL *** |
55 *** HOL *** |
|
56 |
|
57 * Theory "Rational" renamed to "Rat", for consistency with "Nat", "Int" etc. |
|
58 INCOMPATIBILITY. |
56 |
59 |
57 * New set of rules "ac_simps" provides combined assoc / commute rewrites |
60 * New set of rules "ac_simps" provides combined assoc / commute rewrites |
58 for all interpretations of the appropriate generic locales. |
61 for all interpretations of the appropriate generic locales. |
59 |
62 |
60 * Renamed theory "OrderedGroup" to "Groups" and split theory "Ring_and_Field" |
63 * Renamed theory "OrderedGroup" to "Groups" and split theory "Ring_and_Field" |