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
smolkas [Wed, 28 Nov 2012 12:25:43 +0100] rev 50262
fixed problem with fact names
smolkas [Wed, 28 Nov 2012 12:25:06 +0100] rev 50261
remove hack and generalize code slightly