equal
deleted
inserted
replaced
87 word_times_ac1 ~> mult_1_left mult_1_right mult_ac |
87 word_times_ac1 ~> mult_1_left mult_1_right mult_ac |
88 word_order_trans ~> order_trans |
88 word_order_trans ~> order_trans |
89 word_order_refl ~> order_refl |
89 word_order_refl ~> order_refl |
90 word_order_antisym ~> order_antisym |
90 word_order_antisym ~> order_antisym |
91 word_order_linear ~> linorder_linear |
91 word_order_linear ~> linorder_linear |
|
92 lenw1_zero_neq_one ~> zero_neq_one |
|
93 word_number_of_eq ~> number_of_eq |
92 |
94 |
93 * Clarified attribute "mono_set": pure declararation without modifying |
95 * Clarified attribute "mono_set": pure declararation without modifying |
94 the result of the fact expression. |
96 the result of the fact expression. |
95 |
97 |
96 * "Transitive_Closure.ntrancl": bounded transitive closure on |
98 * "Transitive_Closure.ntrancl": bounded transitive closure on |