diff options
| author | Cristian Greco <[email protected]> | 2010-07-16 11:50:55 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-07-26 12:01:22 +0200 |
| commit | 205cc29241a17736ab93d82459a19fece7ba7b20 (patch) | |
| tree | f2ada3b498486d1e726bf0b41f15477b19dde257 /lib/stdlib/doc/src/lists.xml | |
| parent | c4b4edaaf03ac12e12080cb4a3768edbb6ecf77d (diff) | |
| download | otp-205cc29241a17736ab93d82459a19fece7ba7b20.tar.gz otp-205cc29241a17736ab93d82459a19fece7ba7b20.tar.bz2 otp-205cc29241a17736ab93d82459a19fece7ba7b20.zip | |
Fix minor typos and errors in documentation
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> |