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/doc/src/lists.xml | |
| 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/doc/src/lists.xml')
| -rw-r--r-- | lib/stdlib/doc/src/lists.xml | 2 |
1 files changed, 1 insertions, 1 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> |