diff --git a/containers_lwt.odocl b/containers_lwt.odocl
new file mode 100644
index 00000000..129912f5
--- /dev/null
+++ b/containers_lwt.odocl
@@ -0,0 +1,6 @@
+# OASIS_START
+# DO NOT EDIT (digest: e7bd30038718864173f30ddcb755f758)
+lwt/Behavior
+lwt/Lwt_automaton
+lwt/Lwt_actor
+# OASIS_STOP