diff --git a/containers_string.odocl b/containers_string.odocl
new file mode 100644
index 00000000..82290967
--- /dev/null
+++ b/containers_string.odocl
@@ -0,0 +1,6 @@
+# OASIS_START
+# DO NOT EDIT (digest: d56267d754747002ba3e4fd2948cad98)
+string/KMP
+string/CCString
+string/Levenshtein
+# OASIS_STOP