Andreas Lochbihler [Tue, 24 Jun 2014 15:05:58 +0200] rev 57308
add lemma
blanchet [Tue, 24 Jun 2014 15:49:20 +0200] rev 57307
tuning
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)
blanchet [Tue, 24 Jun 2014 14:56:08 +0200] rev 57305
minor table access optimization
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57304
document property 'rel_coinduct'
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57303
tune the implementation of 'rel_coinduct'
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57302
generate 'rel_coinduct' theorem for codatatypes
desharna [Tue, 24 Jun 2014 13:48:14 +0200] rev 57301
generate 'rel_coinduct0' theorem for codatatypes
blanchet [Tue, 24 Jun 2014 12:36:45 +0200] rev 57300
added parentheses around type arguments in THF
blanchet [Tue, 24 Jun 2014 12:36:45 +0200] rev 57299
optimize log
blanchet [Tue, 24 Jun 2014 12:35:57 +0200] rev 57298
enable TF-IDF
blanchet [Tue, 24 Jun 2014 12:35:49 +0200] rev 57297
added another experimental engine