Fixed typos, condensed verbosity

[SVN r30798]
This commit is contained in:
Dave Abrahams 2005-09-04 10:47:56 +00:00
parent 4bb558b67d
commit ca22bbe527

View File

@ -141,10 +141,10 @@ int main()
</blockquote>
<h2><a name="concept">Anatomy of a Concept</a></h2>
A <b><i>concept</i></b> is a set requirements, where the requirements
consist of valid expressions, associated types, invariants, and
complexity guarantees. A type that satisfies the set of requirements is
said to <b><i>model</i></b> the concept. A concept can extend the
A <b><i>concept</i></b> is a set of requirements
consisting of valid expressions, associated types, invariants, and
complexity guarantees. A type that satisfies the requirements is
said to <b><i>model</i></b> the concept. A concept can extend the
requirements of another concept, which is called
<b><i>refinement</i></b>.