equal
deleted
inserted
replaced
238 replaced by: (auto intro!: DERIV_intros). INCOMPATIBILITY. |
238 replaced by: (auto intro!: DERIV_intros). INCOMPATIBILITY. |
239 |
239 |
240 * Renamed methods: |
240 * Renamed methods: |
241 sizechange -> size_change |
241 sizechange -> size_change |
242 induct_scheme -> induction_schema |
242 induct_scheme -> induction_schema |
|
243 |
|
244 * Lemma name change: replaced "anti_sym" by "antisym" everywhere. |
243 |
245 |
244 |
246 |
245 *** ML *** |
247 *** ML *** |
246 |
248 |
247 * Theory and context data is now introduced by the simplified and |
249 * Theory and context data is now introduced by the simplified and |