Tue, 24 Jun 2014 15:05:58 +0200 add lemma
Andreas Lochbihler [Tue, 24 Jun 2014 15:05:58 +0200] rev 57308
add lemma
Tue, 24 Jun 2014 15:49:20 +0200 tuning
blanchet [Tue, 24 Jun 2014 15:49:20 +0200] rev 57307
tuning
Tue, 24 Jun 2014 15:08:19 +0200 optimized traversal of proof terms by skipping bad apples (e.g. full_exhaustive_int'.pinduct)
blanchet [Tue, 24 Jun 2014 15:08:19 +0200] rev 57306
optimized traversal of proof terms by skipping bad apples (e.g. full_exhaustive_int'.pinduct)
Tue, 24 Jun 2014 14:56:08 +0200 minor table access optimization
blanchet [Tue, 24 Jun 2014 14:56:08 +0200] rev 57305
minor table access optimization
Tue, 24 Jun 2014 13:48:14 +0200 document property 'rel_coinduct'
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57304
document property 'rel_coinduct'
Tue, 24 Jun 2014 13:48:14 +0200 tune the implementation of 'rel_coinduct'
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57303
tune the implementation of 'rel_coinduct'
Tue, 24 Jun 2014 13:48:14 +0200 generate 'rel_coinduct' theorem for codatatypes
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57302
generate 'rel_coinduct' theorem for codatatypes
Tue, 24 Jun 2014 13:48:14 +0200 generate 'rel_coinduct0' theorem for codatatypes
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57301
generate 'rel_coinduct0' theorem for codatatypes
Tue, 24 Jun 2014 12:36:45 +0200 added parentheses around type arguments in THF
blanchet [Tue, 24 Jun 2014 12:36:45 +0200] rev 57300
added parentheses around type arguments in THF
Tue, 24 Jun 2014 12:36:45 +0200 optimize log
blanchet [Tue, 24 Jun 2014 12:36:45 +0200] rev 57299
optimize log
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip