Sun, 26 May 2013 14:02:03 +0200 disable SPASS's splitting if Isar proofs are desired, because these are not handled by the proof reconstruction code (and it's not clear how to handle them considering the lack of documentation)
blanchet [Sun, 26 May 2013 14:02:03 +0200] rev 52151
disable SPASS's splitting if Isar proofs are desired, because these are not handled by the proof reconstruction code (and it's not clear how to handle them considering the lack of documentation)
Sun, 26 May 2013 12:56:37 +0200 handle lambda-lifted problems in Isar construction code
blanchet [Sun, 26 May 2013 12:56:37 +0200] rev 52150
handle lambda-lifted problems in Isar construction code
Sun, 26 May 2013 11:56:55 +0200 simpler proof through custom summation function
nipkow [Sun, 26 May 2013 11:56:55 +0200] rev 52149
simpler proof through custom summation function
Sat, 25 May 2013 18:30:38 +0200 merged
wenzelm [Sat, 25 May 2013 18:30:38 +0200] rev 52148
merged
Sat, 25 May 2013 17:40:44 +0200 tuned;
wenzelm [Sat, 25 May 2013 17:40:44 +0200] rev 52147
tuned;
Sat, 25 May 2013 17:13:34 +0200 tuned;
wenzelm [Sat, 25 May 2013 17:13:34 +0200] rev 52146
tuned;
Sat, 25 May 2013 17:08:43 +0200 tuned;
wenzelm [Sat, 25 May 2013 17:08:43 +0200] rev 52145
tuned;
Sat, 25 May 2013 16:55:27 +0200 tuned;
wenzelm [Sat, 25 May 2013 16:55:27 +0200] rev 52144
tuned;
Sat, 25 May 2013 15:37:53 +0200 syntax translations always depend on context;
wenzelm [Sat, 25 May 2013 15:37:53 +0200] rev 52143
syntax translations always depend on context;
Sat, 25 May 2013 15:00:53 +0200 updated keywords;
wenzelm [Sat, 25 May 2013 15:00:53 +0200] rev 52142
updated keywords;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip