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 |
Fri, 18 Dec 2009 11:28:24 +0100 | wenzelm | removed junk (cf. f49d45afa634); | changeset | files |