Sat, 29 Aug 2009 21:58:33 +0200 | boehmes | apply metis with found theorems in case sledgehammer was successful | changeset | files |
Sat, 29 Aug 2009 21:57:06 +0200 | boehmes | propagate theorem names, in addition to generated return message | changeset | files |
Sat, 29 Aug 2009 14:31:39 +0200 | wenzelm | misc tuning; | changeset | files |