smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50277
tweaked calculation of sledgehammer messages
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50276
adapted sledgehammer warnings
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50275
fixed case split preplaying
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50274
fixed preplaying of case splits; incorperated new name of structure: Isabelle_Markup -> Markup
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50273
preplay case splits
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50272
added warning when shrinking proof without preplaying
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50271
deal with the case that metis does not time out, but fails instead
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50270
reapplied changes to make SML/NJ happy
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50269
renaming, minor tweaks, added signature
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50268
added signature