Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | adapted sledgehammer warnings | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | fixed case split preplaying | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | fixed preplaying of case splits; incorperated new name of structure: Isabelle_Markup -> Markup | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | preplay case splits | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | added warning when shrinking proof without preplaying | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | deal with the case that metis does not time out, but fails instead | changeset | files |