diff --git a/cgi/containers_cgi.mldylib b/cgi/containers_cgi.mldylib
deleted file mode 100644
index 78749fbb..00000000
--- a/cgi/containers_cgi.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: f5192440033c9e32b425a31804bbddaa)
-ToWeb
-# OASIS_STOP
diff --git a/cgi/containers_cgi.mllib b/cgi/containers_cgi.mllib
deleted file mode 100644
index 78749fbb..00000000
--- a/cgi/containers_cgi.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: f5192440033c9e32b425a31804bbddaa)
-ToWeb
-# OASIS_STOP
diff --git a/containers.mllib b/containers.mllib
deleted file mode 100644
index 24364220..00000000
--- a/containers.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 5382aaf8b3d2fdeb6717f9805b0dd511)
-Containers
-# OASIS_STOP
diff --git a/containers.mlpack b/containers.mlpack
deleted file mode 100644
index 9366fbca..00000000
--- a/containers.mlpack
+++ /dev/null
@@ -1,52 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 157f88a0bbe94188791880b268b7df2a)
-Cache
-Deque
-Gen
-FHashtbl
-FQueue
-FlatHashtbl
-Hashset
-Heap
-LazyGraph
-PersistentGraph
-PersistentHashtbl
-PHashtbl
-Sequence
-SkipList
-SplayTree
-SplayMap
-Univ
-Vector
-Bij
-PiCalculus
-Bencode
-Sexp
-RAL
-MultiSet
-UnionFind
-SmallSet
-Leftistheap
-AbsSet
-CSM
-MultiMap
-ActionMan
-BV
-QCheck
-BencodeOnDisk
-Show
-TTree
-HGraph
-Automaton
-Conv
-Levenshtein
-Bidir
-Iteratee
-Ty
-Tell
-BencodeStream
-RatTerm
-Cause
-KMP
-CircList
-# OASIS_STOP
diff --git a/containers.odocl b/containers.odocl
deleted file mode 100644
index 9366fbca..00000000
--- a/containers.odocl
+++ /dev/null
@@ -1,52 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 157f88a0bbe94188791880b268b7df2a)
-Cache
-Deque
-Gen
-FHashtbl
-FQueue
-FlatHashtbl
-Hashset
-Heap
-LazyGraph
-PersistentGraph
-PersistentHashtbl
-PHashtbl
-Sequence
-SkipList
-SplayTree
-SplayMap
-Univ
-Vector
-Bij
-PiCalculus
-Bencode
-Sexp
-RAL
-MultiSet
-UnionFind
-SmallSet
-Leftistheap
-AbsSet
-CSM
-MultiMap
-ActionMan
-BV
-QCheck
-BencodeOnDisk
-Show
-TTree
-HGraph
-Automaton
-Conv
-Levenshtein
-Bidir
-Iteratee
-Ty
-Tell
-BencodeStream
-RatTerm
-Cause
-KMP
-CircList
-# OASIS_STOP
diff --git a/containers_cgi.mllib b/containers_cgi.mllib
deleted file mode 100644
index 78749fbb..00000000
--- a/containers_cgi.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: f5192440033c9e32b425a31804bbddaa)
-ToWeb
-# OASIS_STOP
diff --git a/containers_lwt.mllib b/containers_lwt.mllib
deleted file mode 100644
index 2cafc3b9..00000000
--- a/containers_lwt.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
-Containers_lwt
-# OASIS_STOP
diff --git a/containers_lwt.mlpack b/containers_lwt.mlpack
deleted file mode 100644
index 29a67122..00000000
--- a/containers_lwt.mlpack
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 0baec9dfd3857e8cff12e40cdf9ce7db)
-Behavior
-Lwt_automaton
-# OASIS_STOP
diff --git a/lwt/containers_lwt.mldylib b/lwt/containers_lwt.mldylib
deleted file mode 100644
index 2cafc3b9..00000000
--- a/lwt/containers_lwt.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
-Containers_lwt
-# OASIS_STOP
diff --git a/lwt/containers_lwt.mllib b/lwt/containers_lwt.mllib
deleted file mode 100644
index 2cafc3b9..00000000
--- a/lwt/containers_lwt.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
-Containers_lwt
-# OASIS_STOP
diff --git a/lwt/containers_lwt.mlpack b/lwt/containers_lwt.mlpack
deleted file mode 100644
index 29a67122..00000000
--- a/lwt/containers_lwt.mlpack
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 0baec9dfd3857e8cff12e40cdf9ce7db)
-Behavior
-Lwt_automaton
-# OASIS_STOP
diff --git a/thread_containers.mllib b/thread_containers.mllib
deleted file mode 100644
index 99668811..00000000
--- a/thread_containers.mllib
+++ /dev/null
@@ -1 +0,0 @@
-Future
diff --git a/thread_containers.odocl b/thread_containers.odocl
deleted file mode 100644
index 99668811..00000000
--- a/thread_containers.odocl
+++ /dev/null
@@ -1 +0,0 @@
-Future
diff --git a/threads/containers_thread.mldylib b/threads/containers_thread.mldylib
deleted file mode 100644
index b10f0345..00000000
--- a/threads/containers_thread.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: adff855173c9b92b5478129af7d39e03)
-Future
-# OASIS_STOP
diff --git a/threads/containers_thread.mllib b/threads/containers_thread.mllib
deleted file mode 100644
index b10f0345..00000000
--- a/threads/containers_thread.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: adff855173c9b92b5478129af7d39e03)
-Future
-# OASIS_STOP