equal
deleted
inserted
replaced
13 entry of the specified logic session in the editor, while its parent is |
13 entry of the specified logic session in the editor, while its parent is |
14 used for formal checking. |
14 used for formal checking. |
15 |
15 |
16 |
16 |
17 *** HOL *** |
17 *** HOL *** |
|
18 |
|
19 * Dropped aliasses RangeP, DomainP for Rangep, Domainp respectively. |
|
20 INCOMPATIBILITY. |
18 |
21 |
19 * Swapped orientation of congruence rules mod_add_left_eq, |
22 * Swapped orientation of congruence rules mod_add_left_eq, |
20 mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq, |
23 mod_add_right_eq, mod_add_eq, mod_mult_left_eq, mod_mult_right_eq, |
21 mod_mult_eq, mod_minus_eq, mod_diff_left_eq, mod_diff_right_eq, |
24 mod_mult_eq, mod_minus_eq, mod_diff_left_eq, mod_diff_right_eq, |
22 mod_diff_eq. INCOMPATIBILITY. |
25 mod_diff_eq. INCOMPATIBILITY. |