changeset 33201 | e3d741e9d2fe |
parent 33084 | cd1579e0997a |
parent 33192 | 08a39a957ed7 |
child 33270 | 320a1d67b9ae |
--- a/NEWS Mon Oct 26 09:03:57 2009 +0100 +++ b/NEWS Mon Oct 26 09:14:29 2009 +0100 @@ -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.