| 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 |