| Fri, 19 Mar 2010 16:04:15 +0100 | blanchet | renamed "e_full" and "vampire_full" to "e_isar" and "vampire_isar"; | changeset | files |
| Fri, 19 Mar 2010 15:33:18 +0100 | blanchet | move all ATP setup code into ATP_Wrapper | changeset | files |
| Fri, 19 Mar 2010 15:07:44 +0100 | blanchet | move the Sledgehammer Isar commands together into one file; | changeset | files |
| Fri, 19 Mar 2010 13:02:18 +0100 | blanchet | more Sledgehammer refactoring | changeset | files |
| Mon, 22 Mar 2010 09:54:22 +0100 | boehmes | use a proof context instead of a local theory | changeset | files |
| Mon, 22 Mar 2010 09:46:04 +0100 | boehmes | provide a hook to safely manipulate verification conditions | changeset | files |
| Mon, 22 Mar 2010 09:40:11 +0100 | boehmes | replaced old-style Drule.add_axiom by Specification.axiomatization | changeset | files |
| Mon, 22 Mar 2010 09:39:10 +0100 | boehmes | removed e-mail address from error message | changeset | files |