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