Wed, 28 Oct 2009 11:55:48 +0100 | blanchet | use "get_goal" rather than "flat_goal" in Auto Quickcheck, since we don't need the extra facts for counterexample generation | changeset | files |
Tue, 27 Oct 2009 21:53:13 +0100 | blanchet | fix typo in Nitpick manual | changeset | files |