Fri, 06 Feb 2009 09:05:19 +0100 | haftmann | mandatory prefix for index conversion operations | changeset | files |
Fri, 06 Feb 2009 09:05:19 +0100 | haftmann | added replace operation | changeset | files |
Fri, 06 Feb 2009 00:13:15 +0000 | chaieb | fixed dependencies : Theory Dense_Linear_Order moved to Library | changeset | files |