Thu, 02 Oct 2014 18:59:41 -0500 | Pierre-Yves David | abstractsmartset: add a default implementation for min and max | changeset | files |
Thu, 02 Oct 2014 18:52:09 -0500 | Pierre-Yves David | lazyset: drop now useless ascending/descending definition | changeset | files |