| Fri, 05 Mar 2010 23:51:32 +0100 | wenzelm | use regular Proof.goal (which is what methods usually see) and prevent sledgehammer from crashing; | changeset | files |
| Fri, 05 Mar 2010 23:31:58 +0100 | wenzelm | merged | changeset | files |
| Fri, 05 Mar 2010 13:33:17 -0800 | huffman | fix proof script so 'domain foo = Foo foo' works | changeset | files |