desharna [Fri, 12 Sep 2014 13:50:51 +0200] rev 58327
make 'ctr_transfer' tactic more robust
desharna [Fri, 12 Sep 2014 13:48:15 +0200] rev 58326
make 'rel_sel' and 'map_sel' tactics more robust
fleury [Fri, 12 Sep 2014 13:27:33 +0200] rev 58325
Changing the way the dependencies are managed.
fleury [Fri, 12 Sep 2014 13:27:32 +0200] rev 58324
correction in the thf0 parser ("(=)" found in a Satallax proof).
blanchet [Fri, 12 Sep 2014 11:17:06 +0200] rev 58323
merge
blanchet [Fri, 12 Sep 2014 11:16:47 +0200] rev 58322
fixed spellings
haftmann [Fri, 12 Sep 2014 07:38:15 +0200] rev 58321
NEWS
haftmann [Thu, 11 Sep 2014 23:12:32 +0200] rev 58320
abstract product over monoid for lists
haftmann [Thu, 11 Sep 2014 18:33:56 +0200] rev 58319
use proto_base_sort uniformly
blanchet [Thu, 11 Sep 2014 21:11:03 +0200] rev 58318
fixed some spelling mistakes