diff options
| author | Max Schumacher <maximilianbschumacher@gmail.com> | 2021-03-21 15:22:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-21 15:22:44 +0100 |
| commit | 44526992794e25f7945126d5be3737a3be517b2a (patch) | |
| tree | 0f68c8bdca0adf97033e637b8828a6824f253e6a | |
| parent | 67ec5133a24e84c545c920dabab1d235b53523ad (diff) | |
| parent | 835bae31efb57d5d0bcd28de962750fac4333c5a (diff) | |
Merge pull request #4141 from dbenn/patch-2
[coq/en] 8-bits => 8-bit
| -rw-r--r-- | coq.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq.html.markdown b/coq.html.markdown index bbc613ce..fa1558e6 100644 --- a/coq.html.markdown +++ b/coq.html.markdown @@ -370,7 +370,7 @@ Close Scope string_scope. power series and results,...) • Relations : Relations (definitions and basic results) • Sorting : Sorted list (basic definitions and heapsort correctness) -• Strings : 8-bits characters and strings +• Strings : 8-bit characters and strings • Wellfounded : Well-founded relations (basic results) *) |