Fri, 06 Feb 2009 00:10:58 +0000 | chaieb | fixed Proofs and dependencies ; Theory Dense_Linear_Order moved to Library | changeset | files |
Thu, 05 Feb 2009 15:35:06 +0100 | hoelzl | Updated NEWS about approximation | changeset | files |
Thu, 05 Feb 2009 14:50:43 +0100 | haftmann | merged | changeset | files |