| changeset 33192 | 08a39a957ed7 |
| parent 33057 | 764547b68538 |
| child 33201 | e3d741e9d2fe |
--- a/NEWS Thu Oct 22 14:45:20 2009 +0200 +++ b/NEWS Thu Oct 22 14:51:47 2009 +0200 @@ -50,6 +50,9 @@ this method is proof-producing. Certificates are provided to avoid calling the external solvers solely for re-checking proofs. +* New counterexample generator tool "nitpick" based on the Kodkod +relational model finder. + * Reorganization of number theory: * former session NumberTheory now named Old_Number_Theory * new session Number_Theory by Jeremy Avigad; if possible, prefer this.