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