| changeset 56076 | e52fc7c37ed3 |
| parent 56073 | 29e308b56d23 |
| child 56118 | d3967fdc800a |
--- a/NEWS Thu Mar 13 08:56:08 2014 +0100 +++ b/NEWS Thu Mar 13 08:56:08 2014 +0100 @@ -104,6 +104,8 @@ can be restored like this: declare/using [[simp_legacy_precond]] This configuration option will disappear again in the future. +* Dropped facts INF_comp, SUP_comp. INCOMPATIBILITY. + * HOL-Word: * Abandoned fact collection "word_arith_alts", which is a duplicate of "word_arith_wis".