equal
deleted
inserted
replaced
55 word_diff_self ~> diff_self |
55 word_diff_self ~> diff_self |
56 word_add_ac ~> add_ac |
56 word_add_ac ~> add_ac |
57 word_mult_ac ~> mult_ac |
57 word_mult_ac ~> mult_ac |
58 word_plus_ac0 ~> add_0_left add_0_right add_ac |
58 word_plus_ac0 ~> add_0_left add_0_right add_ac |
59 word_times_ac1 ~> mult_1_left mult_1_right mult_ac |
59 word_times_ac1 ~> mult_1_left mult_1_right mult_ac |
|
60 word_order_trans ~> order_trans |
|
61 word_order_refl ~> order_refl |
|
62 word_order_antisym ~> order_antisym |
|
63 word_order_linear ~> linorder_linear |
60 |
64 |
61 * Clarified attribute "mono_set": pure declararation without modifying |
65 * Clarified attribute "mono_set": pure declararation without modifying |
62 the result of the fact expression. |
66 the result of the fact expression. |
63 |
67 |
64 * "Transitive_Closure.ntrancl": bounded transitive closure on |
68 * "Transitive_Closure.ntrancl": bounded transitive closure on |