Mon, 18 Feb 2013 12:16:02 +0100 | smolkas | simplified byline, isar_qualifier | file | diff | annotate |
Fri, 15 Feb 2013 13:29:37 +0100 | smolkas | use safe var index | file | diff | annotate |
Fri, 15 Feb 2013 10:18:44 +0100 | blanchet | removed dead weight from data structure | file | diff | annotate |
Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | preplay subblocks | file | diff | annotate |
Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | renamed sledgehammer_shrink to sledgehammer_compress | file | diff | annotate |
Thu, 14 Feb 2013 22:49:22 +0100 | smolkas | introduced subblock in isar_step datatype for conjecture herbrandization | file | diff | annotate |
Thu, 17 Jan 2013 11:56:34 +0100 | smolkas | changed type of preplay time; tuned preplaying | file | diff | annotate |
Thu, 17 Jan 2013 11:55:40 +0100 | smolkas | move preplaying to own structure | file | diff | annotate |