Wed, 28 Nov 2012 12:25:43 +0100 preplay case splits
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50273
preplay case splits
Wed, 28 Nov 2012 12:25:43 +0100 added warning when shrinking proof without preplaying
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50272
added warning when shrinking proof without preplaying
Wed, 28 Nov 2012 12:25:43 +0100 deal with the case that metis does not time out, but fails instead
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50271
deal with the case that metis does not time out, but fails instead
Wed, 28 Nov 2012 12:25:43 +0100 reapplied changes to make SML/NJ happy
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50270
reapplied changes to make SML/NJ happy
Wed, 28 Nov 2012 12:25:43 +0100 renaming, minor tweaks, added signature
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50269
renaming, minor tweaks, added signature
Wed, 28 Nov 2012 12:25:43 +0100 added signature
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50268
added signature
Wed, 28 Nov 2012 12:25:43 +0100 moved thms_of_name to Sledgehammer_Util and removed copies, updated references
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50267
moved thms_of_name to Sledgehammer_Util and removed copies, updated references
Wed, 28 Nov 2012 12:25:43 +0100 removed duplicate decleration
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50266
removed duplicate decleration
Wed, 28 Nov 2012 12:25:43 +0100 made use of sledgehammer_util
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50265
made use of sledgehammer_util
Wed, 28 Nov 2012 12:25:43 +0100 renamed sledgehammer_isar_reconstruct to sledgehammer_proof
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50264
renamed sledgehammer_isar_reconstruct to sledgehammer_proof
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip