WIP

coq · May 25, 2024 · 5a5c66f · 5a5c66f
1 parent b12a9ed
commit 5a5c66f
Show file tree

Hide file tree

Showing 2 changed files with 747 additions and 0 deletions.
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
@@ -720,5 +720,6 @@ through the <tt>Require Import</tt> command.</p>
   <dd>
     theories/Strings/PrimString.v
     theories/Strings/PrimStringAxioms.v
+    theories/Strings/PString.v
   </dd>
 </dl>