Thu, 11 Sep 2014 23:12:32 +0200 | haftmann | abstract product over monoid for lists | changeset | files |
Thu, 11 Sep 2014 18:33:56 +0200 | haftmann | use proto_base_sort uniformly | changeset | files |
Thu, 11 Sep 2014 21:11:03 +0200 | blanchet | fixed some spelling mistakes | changeset | files |