diff options
| author | Björn Gustavsson <[email protected]> | 2010-07-29 15:23:46 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-07-29 15:23:46 +0200 |
| commit | dee1dc6e9dbb8a3c24e436a468e91e861d1a6950 (patch) | |
| tree | 56065df71024f8024aec37c9071509aef19de570 /lib/stdlib | |
| parent | d7c3a2dd6bdd963fde37236bd9155d59b344f9b2 (diff) | |
| parent | 205cc29241a17736ab93d82459a19fece7ba7b20 (diff) | |
| download | otp-dee1dc6e9dbb8a3c24e436a468e91e861d1a6950.tar.gz otp-dee1dc6e9dbb8a3c24e436a468e91e861d1a6950.tar.bz2 otp-dee1dc6e9dbb8a3c24e436a468e91e861d1a6950.zip | |
Merge branch 'cg/small-typos' into dev
Diffstat (limited to 'lib/stdlib')
| -rw-r--r-- | lib/stdlib/doc/src/lists.xml | 2 | ||||
| -rw-r--r-- | lib/stdlib/doc/src/sofs.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/stdlib/doc/src/lists.xml b/lib/stdlib/doc/src/lists.xml index a273a2301f..b3ad7aaf46 100644 --- a/lib/stdlib/doc/src/lists.xml +++ b/lib/stdlib/doc/src/lists.xml @@ -48,7 +48,7 @@ <item><p>if x <c>F</c> y and y <c>F</c> x then x = y (<c>F</c> is antisymmetric);</p> </item> - <item><p>if x <c>F</c> y and and y <c>F</c> z then x <c>F</c> z + <item><p>if x <c>F</c> y and y <c>F</c> z then x <c>F</c> z (<c>F</c> is transitive);</p> </item> <item><p>x <c>F</c> y or y <c>F</c> x (<c>F</c> is total).</p> diff --git a/lib/stdlib/doc/src/sofs.xml b/lib/stdlib/doc/src/sofs.xml index 8c8ae51262..729df1e678 100644 --- a/lib/stdlib/doc/src/sofs.xml +++ b/lib/stdlib/doc/src/sofs.xml @@ -210,7 +210,7 @@ X[i] to Y[i] and S a subset of X[1] × ... × X[n]. The <marker id="multiple_relative_product"></marker><em>multiple - relative product</em> of TR and and S is defined to be the + relative product</em> of TR and S is defined to be the set {z : z = ((x[1], ..., x[n]), (y[1],...,y[n])) for some (x[1], ..., x[n]) in S and for some (x[i], y[i]) in R[i], |