NEWS
changeset 55818 d8b2f50705d0
parent 55757 9fc71814b8c1
child 55867 79b915f26533
     1.1 --- a/NEWS	Sat Mar 01 09:34:08 2014 +0100
     1.2 +++ b/NEWS	Sat Mar 01 17:08:39 2014 +0100
     1.3 @@ -91,6 +91,13 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* HOL-Word:
     1.8 +  * Abandoned fact collection "word_arith_alts", which is a
     1.9 +  duplicate of "word_arith_wis".
    1.10 +  * Dropped first (duplicated) element in fact collections
    1.11 +  "sint_word_ariths", "word_arith_alts", "uint_word_ariths",
    1.12 +  "uint_word_arith_bintrs".
    1.13 +
    1.14  * Code generator: explicit proof contexts in many ML interfaces.
    1.15  INCOMPATIBILITY.
    1.16