equal
deleted
inserted
replaced
199 |
199 |
200 * Removed obsolete type class "logic", use the top sort {} instead. |
200 * Removed obsolete type class "logic", use the top sort {} instead. |
201 Note that non-logical types should be declared as 'nonterminals' |
201 Note that non-logical types should be declared as 'nonterminals' |
202 rather than 'types'. INCOMPATIBILITY for new object-logic |
202 rather than 'types'. INCOMPATIBILITY for new object-logic |
203 specifications. |
203 specifications. |
|
204 |
|
205 * 'defs': more well-formedness checks of overloaded definitions. |
204 |
206 |
205 * Attributes 'induct' and 'cases': type or set names may now be |
207 * Attributes 'induct' and 'cases': type or set names may now be |
206 locally fixed variables as well. |
208 locally fixed variables as well. |
207 |
209 |
208 * Simplifier: can now control the depth to which conditional rewriting |
210 * Simplifier: can now control the depth to which conditional rewriting |