| 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 |