NEWS
changeset 64633 5ebcf6c525f1
parent 64632 9df24b8b6c0a
child 64634 5bd30359e46e
equal deleted inserted replaced
64632:9df24b8b6c0a 64633:5ebcf6c525f1
    16 
    16 
    17 *** HOL ***
    17 *** HOL ***
    18 
    18 
    19 * Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively.
    19 * Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively.
    20 INCOMPATIBILITY.
    20 INCOMPATIBILITY.
       
    21 
       
    22 * Dropped abbreviation transP; use constant transp instead.
    21 
    23 
    22 * Swapped orientation of congruence rules mod_add_left_eq,
    24 * Swapped orientation of congruence rules mod_add_left_eq,
    23 mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq,
    25 mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq,
    24 mod_mult_eq, mod_minus_eq, mod_diff_left_eq, mod_diff_right_eq,
    26 mod_mult_eq, mod_minus_eq, mod_diff_left_eq, mod_diff_right_eq,
    25 mod_diff_eq.  INCOMPATIBILITY.
    27 mod_diff_eq.  INCOMPATIBILITY.