| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | updated doc | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | add a timeout on the monotonicity check | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | handle TPTP definitions as definitions in Nitpick rather than as axioms | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | get rid of old parser, hopefully for good | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | fix handling of atomizable conjectures without a top-level "Trueprop" (e.g. "x == (y::nat)") | changeset | files |
| Tue, 24 Apr 2012 09:47:40 +0200 | blanchet | run Mirabelle in quick and dirty mode | changeset | files |
| Tue, 24 Apr 2012 09:09:55 +0200 | nipkow | doc update | changeset | files |