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
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50267
moved thms_of_name to Sledgehammer_Util and removed copies, updated references
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50266
removed duplicate decleration
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50265
made use of sledgehammer_util
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50264
renamed sledgehammer_isar_reconstruct to sledgehammer_proof
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50263
added comments to new source files