equal
deleted
inserted
replaced
152 text {* |
152 text {* |
153 Note that this list of rules is in reverse order of priorities. |
153 Note that this list of rules is in reverse order of priorities. |
154 *} |
154 *} |
155 |
155 |
156 lemmas basic_trans_rules [trans] = |
156 lemmas basic_trans_rules [trans] = |
|
157 forw_subst |
157 order_less_subst2 |
158 order_less_subst2 |
158 order_less_subst1 |
159 order_less_subst1 |
159 order_le_less_subst2 |
160 order_le_less_subst2 |
160 order_le_less_subst1 |
161 order_le_less_subst1 |
161 order_less_le_subst2 |
162 order_less_le_subst2 |
164 order_subst1 |
165 order_subst1 |
165 ord_le_eq_subst |
166 ord_le_eq_subst |
166 ord_eq_le_subst |
167 ord_eq_le_subst |
167 ord_less_eq_subst |
168 ord_less_eq_subst |
168 ord_eq_less_subst |
169 ord_eq_less_subst |
169 forw_subst |
|
170 back_subst |
170 back_subst |
171 dvd_trans |
171 dvd_trans |
172 rev_mp |
172 rev_mp |
173 mp |
173 mp |
174 set_rev_mp |
174 set_rev_mp |