2013-01-03 swap Vampire's Skolem arguments to bring them in line with what E and metis's new skolemizer do (helps Isar proof reconstruction in some cases)
blanchet [Thu, 03 Jan 2013 15:13:11 +0100] rev 50703
swap Vampire's Skolem arguments to bring them in line with what E and metis's new skolemizer do (helps Isar proof reconstruction in some cases)
2013-01-03 tuned comment
blanchet [Thu, 03 Jan 2013 14:41:05 +0100] rev 50702
tuned comment
2013-01-03 NEWS: ML runtime statistics;
wenzelm [Thu, 03 Jan 2013 14:23:10 +0100] rev 50701
NEWS: ML runtime statistics;
2013-01-03 merged
wenzelm [Thu, 03 Jan 2013 14:12:12 +0100] rev 50700
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip