| Mon, 28 Feb 2011 17:53:10 +0100 | blanchet | made "fixed_is_special_eligible_arg" smarter w.r.t. pairs, and fixed previous unintended behavior because "andalso" ties more tightly than "orelse" | changeset | files |
| Mon, 28 Feb 2011 17:53:10 +0100 | blanchet | if "total_consts" is set, report cex's as quasi-genuine | changeset | files |
| Mon, 28 Feb 2011 17:53:10 +0100 | blanchet | document new "total_consts" option | changeset | files |
| Mon, 28 Feb 2011 17:53:10 +0100 | blanchet | added "total_consts" option | changeset | files |
| Sat, 26 Feb 2011 20:40:45 +0100 | nipkow | added a few lemmas by Andreas Lochbihler | changeset | files |
| Sat, 26 Feb 2011 20:16:44 +0100 | nipkow | Corrected HOLCF/FOCUS dependency | changeset | files |
| Sat, 26 Feb 2011 17:44:42 +0100 | nipkow | Added material by David Trachtenherz | changeset | files |
| Sat, 26 Feb 2011 16:16:36 +0100 | nipkow | corrected HOLCF dependency on Nat_Infinity | changeset | files |