| Thu, 17 Dec 2009 15:22:11 +0100 | blanchet | added support for binary nat/int representation to Nitpick | changeset | files |
| Mon, 14 Dec 2009 16:48:49 +0100 | blanchet | distinguish better between "complete" (vs. incomplete) types and "concrete" (vs. abstract) types in Nitpick; | changeset | files |
| Mon, 14 Dec 2009 12:31:00 +0100 | blanchet | merged | changeset | files |
| Mon, 14 Dec 2009 12:30:26 +0100 | blanchet | get rid of polymorphic equality in Nitpick's code + a few minor cleanups | changeset | files |
| Mon, 14 Dec 2009 12:14:12 +0100 | blanchet | added "no_assms" option to Refute, and include structured proof assumptions by default; | changeset | files |
| Fri, 18 Dec 2009 12:28:50 +0100 | wenzelm | markup bad YXML as malformed; | changeset | files |
| Fri, 18 Dec 2009 12:10:52 +0100 | wenzelm | replace invalid code points -- instead of exception; | changeset | files |
| Fri, 18 Dec 2009 11:44:25 +0100 | wenzelm | tuned signature; | changeset | files |