NEWS
changeset 52141 eff000cab70f
parent 52116 abf9fcfa65cf
child 52148 893b15200ec1
equal deleted inserted replaced
52140:88a69da5d3fa 52141:eff000cab70f
    54 * Discontinued empty name bindings in 'axiomatization'.
    54 * Discontinued empty name bindings in 'axiomatization'.
    55 INCOMPATIBILITY.
    55 INCOMPATIBILITY.
    56 
    56 
    57 
    57 
    58 *** HOL ***
    58 *** HOL ***
       
    59 
       
    60 * Weaker precendence of syntax for big intersection and union on sets,
       
    61 in accordance with corresponding lattice operations.  INCOMPATIBILITY.
    59 
    62 
    60 * Nested case expressions are now translated in a separate check
    63 * Nested case expressions are now translated in a separate check
    61   phase rather than during parsing. The data for case combinators
    64   phase rather than during parsing. The data for case combinators
    62   is separated from the datatype package. The declaration attribute
    65   is separated from the datatype package. The declaration attribute
    63   "case_translation" can be used to register new case combinators:
    66   "case_translation" can be used to register new case combinators: