Thu, 14 Feb 2013 23:54:46 +0100 | smolkas | fixed metis_steps_total - was off by one | file | diff | annotate |
Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | introduced subblock in isar_step datatype for conjecture herbrandization | file | diff | annotate |
Wed, 02 Jan 2013 15:44:00 +0100 | blanchet | added "obtain" to Isar proof construction data structure | file | diff | annotate |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | renaming, minor tweaks, added signature | file | diff | annotate |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | added signature | file | diff | annotate |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | moved thms_of_name to Sledgehammer_Util and removed copies, updated references | file | diff | annotate |
Wed, 28 Nov 2012 12:25:43 +0100 | smolkas | renamed sledgehammer_isar_reconstruct to sledgehammer_proof | file | diff | annotate | base |