| Fri, 15 Feb 2013 10:18:44 +0100 | blanchet | removed dead weight from data structure | file | diff | annotate |
| 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 |