NEWS
changeset 64389 6273d4c8325b
parent 64363 90ceace1e814
child 64390 ad2c5f37f659
     1.1 --- a/NEWS	Mon Oct 24 21:14:38 2016 +0200
     1.2 +++ b/NEWS	Mon Oct 24 22:42:07 2016 +0200
     1.3 @@ -910,6 +910,9 @@
     1.4  * Renamed HOL/Quotient_Examples/FSet.thy to
     1.5  HOL/Quotient_Examples/Quotient_FSet.thy INCOMPATIBILITY.
     1.6  
     1.7 +* The "nunchaku" program integrates the Nunchaku model finder. The tool
     1.8 +is experimental. See ~~/src/HOL/Nunchaku/Nunchaku.thy for details.
     1.9 +
    1.10  
    1.11  *** ML ***
    1.12