blanchet [Mon, 14 Dec 2009 16:48:49 +0100] rev 34120
distinguish better between "complete" (vs. incomplete) types and "concrete" (vs. abstract) types in Nitpick;
this improves Nitpick's precision in some cases (e.g. higher-order constructors) and reflects a better understanding of what's going on
blanchet [Mon, 14 Dec 2009 12:31:00 +0100] rev 34119
merged
blanchet [Mon, 14 Dec 2009 12:30:26 +0100] rev 34118
get rid of polymorphic equality in Nitpick's code + a few minor cleanups
blanchet [Mon, 14 Dec 2009 12:14:12 +0100] rev 34117
added "no_assms" option to Refute, and include structured proof assumptions by default;
will do the same for Quickcheck unless there are objections
wenzelm [Fri, 18 Dec 2009 11:28:24 +0100] rev 34116
removed junk (cf. f49d45afa634);
wenzelm [Thu, 17 Dec 2009 23:44:48 +0100] rev 34115
merged
wenzelm [Thu, 17 Dec 2009 23:44:15 +0100] rev 34114
Result.cache;
wenzelm [Thu, 17 Dec 2009 23:31:59 +0100] rev 34113
cache for partial sharing;
huffman [Thu, 17 Dec 2009 13:51:50 -0800] rev 34112
merged
huffman [Thu, 17 Dec 2009 13:49:36 -0800] rev 34111
add lemma INFM_conjI