| Fri, 27 May 2011 10:30:08 +0200 | blanchet | more concise output | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | compile | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | use helpers and tweak Quickcheck's priority to it comes second (to give Solve Direct slightly more time before another prover runs) | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | repaired theory merging and defined/used helpers | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | make Sledgehammer a little bit less verbose in "try" | changeset | files |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | handle non-auto try cases gracefully in Try Methods | changeset | files |