2012-10-31 moved Refute to "HOL/Library" to speed up building "Main" even more
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 49985
moved Refute to "HOL/Library" to speed up building "Main" even more
2012-10-31 tuning
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 49984
tuning
2012-10-31 use metaquantification when possible in Isar proofs
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 49983
use metaquantification when possible in Isar proofs
2012-10-31 tuned code
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 49982
tuned code
2012-10-31 tuning
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 49981
tuning
2012-10-31 soft SMT timeout
blanchet [Wed, 31 Oct 2012 11:23:21 +0100] rev 49980
soft SMT timeout
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip