diff options
author | 2006-10-04 22:16:18 +0000 | |
---|---|---|
committer | 2006-10-04 22:16:18 +0000 | |
commit | d2204d89037471c265ab70afb9f03983869948db (patch) | |
tree | 1396f9cf0a915259ddce5aa3f405da0b24441097 /doc/refman/RefMan-lib.tex | |
parent | 6b630ee4a3cffe8472a0a0356b8aa383abaa51dd (diff) |
Ajout String
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9207 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/refman/RefMan-lib.tex')
-rw-r--r-- | doc/refman/RefMan-lib.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/refman/RefMan-lib.tex b/doc/refman/RefMan-lib.tex index 5a022c74e..6c28fbb33 100644 --- a/doc/refman/RefMan-lib.tex +++ b/doc/refman/RefMan-lib.tex @@ -815,6 +815,7 @@ subdirectories: \textbf{ZArith} library).\\ {\bf Relations} & Relations (definitions and basic results). \\ {\bf Sorting} & Sorted list (basic definitions and heapsort correctness). \\ + {\bf Strings} & 8-bits characters and strings\\ {\bf Wellfounded} & Well-founded relations (basic results). \\ \end{tabular} |