diff options
-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} |