Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | added signature | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | moved thms_of_name to Sledgehammer_Util and removed copies, updated references | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | removed duplicate decleration | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | made use of sledgehammer_util | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | renamed sledgehammer_isar_reconstruct to sledgehammer_proof | changeset | files |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | added comments to new source files | changeset | files |