diff --git a/advanced/containers_advanced.mldylib b/advanced/containers_advanced.mldylib
deleted file mode 100644
index 0f1163e0..00000000
--- a/advanced/containers_advanced.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 0f1ca0e2b031ae1710e26abf02cca256)
-Containers_advanced
-# OASIS_STOP
diff --git a/advanced/containers_advanced.mllib b/advanced/containers_advanced.mllib
deleted file mode 100644
index 0f1163e0..00000000
--- a/advanced/containers_advanced.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 0f1ca0e2b031ae1710e26abf02cca256)
-Containers_advanced
-# OASIS_STOP
diff --git a/advanced/containers_advanced.mlpack b/advanced/containers_advanced.mlpack
deleted file mode 100644
index 7c96f38e..00000000
--- a/advanced/containers_advanced.mlpack
+++ /dev/null
@@ -1,7 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 5a399cd532edb84596f3034081578694)
-CCLinq
-CCBatch
-CCCat
-CCMonadIO
-# OASIS_STOP
diff --git a/containers.odocl b/containers.odocl
deleted file mode 100644
index c298b3a0..00000000
--- a/containers.odocl
+++ /dev/null
@@ -1,69 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: fe2373b07664be05f7322781403afad6)
-src/core/CCVector
-src/core/CCHeap
-src/core/CCList
-src/core/CCOpt
-src/core/CCPair
-src/core/CCFun
-src/core/CCHash
-src/core/CCInt
-src/core/CCBool
-src/core/CCFloat
-src/core/CCArray
-src/core/CCRef
-src/core/CCSet
-src/core/CCOrd
-src/core/CCRandom
-src/core/CCString
-src/core/CCHashtbl
-src/core/CCMap
-src/core/CCFormat
-src/core/CCIO
-src/core/CCInt64
-src/core/CCChar
-src/core/CCResult
-src/core/CCParse
-src/core/CCArray_slice
-src/core/CCListLabels
-src/core/CCArrayLabels
-src/core/CCEqual
-src/core/Containers
-src/iter/CCKTree
-src/iter/CCKList
-src/iter/CCLazy_list
-src/data/CCMultiMap
-src/data/CCMultiSet
-src/data/CCTrie
-src/data/CCFlatHashtbl
-src/data/CCCache
-src/data/CCPersistentHashtbl
-src/data/CCDeque
-src/data/CCFQueue
-src/data/CCBV
-src/data/CCMixtbl
-src/data/CCMixmap
-src/data/CCRingBuffer
-src/data/CCIntMap
-src/data/CCPersistentArray
-src/data/CCMixset
-src/data/CCGraph
-src/data/CCHashSet
-src/data/CCBitField
-src/data/CCHashTrie
-src/data/CCWBTree
-src/data/CCRAL
-src/data/CCSimple_queue
-src/data/CCImmutArray
-src/data/CCHet
-src/data/CCZipper
-src/threads/CCPool
-src/threads/CCLock
-src/threads/CCSemaphore
-src/threads/CCThread
-src/threads/CCBlockingQueue
-src/threads/CCTimer
-src/unix/CCUnix
-src/sexp/CCSexp
-src/sexp/CCSexp_lex
-# OASIS_STOP
diff --git a/containers_advanced.odocl b/containers_advanced.odocl
deleted file mode 100644
index 508f2660..00000000
--- a/containers_advanced.odocl
+++ /dev/null
@@ -1,7 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: c39cb4de2de5f975c95c1e05f9661ea6)
-advanced/CCLinq
-advanced/CCBatch
-advanced/CCCat
-advanced/CCMonadIO
-# OASIS_STOP
diff --git a/containers_lwt.odocl b/containers_lwt.odocl
deleted file mode 100644
index 129912f5..00000000
--- a/containers_lwt.odocl
+++ /dev/null
@@ -1,6 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: e7bd30038718864173f30ddcb755f758)
-lwt/Behavior
-lwt/Lwt_automaton
-lwt/Lwt_actor
-# OASIS_STOP
diff --git a/containers_misc.odocl b/containers_misc.odocl
deleted file mode 100644
index 81166e39..00000000
--- a/containers_misc.odocl
+++ /dev/null
@@ -1,34 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: df85a5182175d1029216007c66a27aa4)
-misc/FHashtbl
-misc/FlatHashtbl
-misc/Hashset
-misc/Heap
-misc/LazyGraph
-misc/PersistentGraph
-misc/PHashtbl
-misc/SkipList
-misc/SplayTree
-misc/SplayMap
-misc/Univ
-misc/Bij
-misc/PiCalculus
-misc/RAL
-misc/UnionFind
-misc/SmallSet
-misc/AbsSet
-misc/CSM
-misc/TTree
-misc/PrintBox
-misc/HGraph
-misc/Automaton
-misc/Conv
-misc/Bidir
-misc/Iteratee
-misc/BTree
-misc/Ty
-misc/Cause
-misc/AVL
-misc/ParseReact
-misc/Mixtbl
-# OASIS_STOP
diff --git a/containers_string.odocl b/containers_string.odocl
deleted file mode 100644
index e370472d..00000000
--- a/containers_string.odocl
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: fae37ce560d3fa23ae92d95d4ecca210)
-string/KMP
-string/Levenshtein
-# OASIS_STOP
diff --git a/core/META b/core/META
deleted file mode 100644
index 5b28e1fc..00000000
--- a/core/META
+++ /dev/null
@@ -1,87 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 29eba35d8937ec2340c27a97da9180a6)
-version = "0.6.1"
-description = "A modular standard library focused on data structures."
-requires = "bytes"
-archive(byte) = "containers.cma"
-archive(byte, plugin) = "containers.cma"
-archive(native) = "containers.cmxa"
-archive(native, plugin) = "containers.cmxs"
-exists_if = "containers.cma"
-package "thread" (
- version = "0.6.1"
- description = "A modular standard library focused on data structures."
- requires = "containers threads"
- archive(byte) = "containers_thread.cma"
- archive(byte, plugin) = "containers_thread.cma"
- archive(native) = "containers_thread.cmxa"
- archive(native, plugin) = "containers_thread.cmxs"
- exists_if = "containers_thread.cma"
-)
-
-package "string" (
- version = "0.6.1"
- description = "A modular standard library focused on data structures."
- archive(byte) = "containers_string.cma"
- archive(byte, plugin) = "containers_string.cma"
- archive(native) = "containers_string.cmxa"
- archive(native, plugin) = "containers_string.cmxs"
- exists_if = "containers_string.cma"
-)
-
-package "pervasives" (
- version = "0.6.1"
- description = "A modular standard library focused on data structures."
- requires = "containers"
- archive(byte) = "containers_pervasives.cma"
- archive(byte, plugin) = "containers_pervasives.cma"
- archive(native) = "containers_pervasives.cmxa"
- archive(native, plugin) = "containers_pervasives.cmxs"
- exists_if = "containers_pervasives.cma"
-)
-
-package "misc" (
- version = "0.6.1"
- description = "A modular standard library focused on data structures."
- requires = "unix containers"
- archive(byte) = "containers_misc.cma"
- archive(byte, plugin) = "containers_misc.cma"
- archive(native) = "containers_misc.cmxa"
- archive(native, plugin) = "containers_misc.cmxs"
- exists_if = "containers_misc.cma"
-)
-
-package "lwt" (
- version = "0.6.1"
- description = "A modular standard library focused on data structures."
- requires = "containers lwt lwt.unix containers.misc"
- archive(byte) = "containers_lwt.cma"
- archive(byte, plugin) = "containers_lwt.cma"
- archive(native) = "containers_lwt.cmxa"
- archive(native, plugin) = "containers_lwt.cmxs"
- exists_if = "containers_lwt.cma"
-)
-
-package "cgi" (
- version = "0.6.1"
- description = "A modular standard library focused on data structures."
- requires = "containers CamlGI"
- archive(byte) = "containers_cgi.cma"
- archive(byte, plugin) = "containers_cgi.cma"
- archive(native) = "containers_cgi.cmxa"
- archive(native, plugin) = "containers_cgi.cmxs"
- exists_if = "containers_cgi.cma"
-)
-
-package "advanced" (
- version = "0.6.1"
- description = "A modular standard library focused on data structures."
- requires = "containers"
- archive(byte) = "containers_advanced.cma"
- archive(byte, plugin) = "containers_advanced.cma"
- archive(native) = "containers_advanced.cmxa"
- archive(native, plugin) = "containers_advanced.cmxs"
- exists_if = "containers_advanced.cma"
-)
-# OASIS_STOP
-
diff --git a/core/containers.mldylib b/core/containers.mldylib
deleted file mode 100644
index 3f49e997..00000000
--- a/core/containers.mldylib
+++ /dev/null
@@ -1,37 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 8d84707fdc7358bdadca9b7202118243)
-CCVector
-CCDeque
-CCGen
-Gen_intf
-CCSequence
-CCFQueue
-CCMultiMap
-CCMultiSet
-CCBV
-CCPrint
-CCPersistentHashtbl
-CCError
-CCHeap
-CCList
-CCOpt
-CCPair
-CCFun
-CCHash
-CCKList
-CCInt
-CCBool
-CCFloat
-CCArray
-CCOrd
-CCIO
-CCRandom
-CCKTree
-CCTrie
-CCString
-CCHashtbl
-CCFlatHashtbl
-CCSexp
-CCMap
-CCCache
-# OASIS_STOP
diff --git a/core/containers.mllib b/core/containers.mllib
deleted file mode 100644
index 3f49e997..00000000
--- a/core/containers.mllib
+++ /dev/null
@@ -1,37 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 8d84707fdc7358bdadca9b7202118243)
-CCVector
-CCDeque
-CCGen
-Gen_intf
-CCSequence
-CCFQueue
-CCMultiMap
-CCMultiSet
-CCBV
-CCPrint
-CCPersistentHashtbl
-CCError
-CCHeap
-CCList
-CCOpt
-CCPair
-CCFun
-CCHash
-CCKList
-CCInt
-CCBool
-CCFloat
-CCArray
-CCOrd
-CCIO
-CCRandom
-CCKTree
-CCTrie
-CCString
-CCHashtbl
-CCFlatHashtbl
-CCSexp
-CCMap
-CCCache
-# 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 5fc10d25..00000000
--- a/lwt/containers_lwt.mlpack
+++ /dev/null
@@ -1,6 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 0522ffe492b9796ab336d55b925afe68)
-Behavior
-Lwt_automaton
-Lwt_actor
-# OASIS_STOP
diff --git a/misc/containers_misc.mldylib b/misc/containers_misc.mldylib
deleted file mode 100644
index 551a3188..00000000
--- a/misc/containers_misc.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
-Containers_misc
-# OASIS_STOP
diff --git a/misc/containers_misc.mllib b/misc/containers_misc.mllib
deleted file mode 100644
index 551a3188..00000000
--- a/misc/containers_misc.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
-Containers_misc
-# OASIS_STOP
diff --git a/misc/containers_misc.mlpack b/misc/containers_misc.mlpack
deleted file mode 100644
index 2f4f40ab..00000000
--- a/misc/containers_misc.mlpack
+++ /dev/null
@@ -1,34 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 5f2c8615af923cd3ff229b6d10c55bc8)
-FHashtbl
-FlatHashtbl
-Hashset
-Heap
-LazyGraph
-PersistentGraph
-PHashtbl
-SkipList
-SplayTree
-SplayMap
-Univ
-Bij
-PiCalculus
-RAL
-UnionFind
-SmallSet
-AbsSet
-CSM
-TTree
-PrintBox
-HGraph
-Automaton
-Conv
-Bidir
-Iteratee
-BTree
-Ty
-Cause
-AVL
-ParseReact
-Mixtbl
-# OASIS_STOP
diff --git a/pervasives/containers_pervasives.mldylib b/pervasives/containers_pervasives.mldylib
deleted file mode 100644
index 9dc3b5e4..00000000
--- a/pervasives/containers_pervasives.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
-CCPervasives
-# OASIS_STOP
diff --git a/pervasives/containers_pervasives.mllib b/pervasives/containers_pervasives.mllib
deleted file mode 100644
index 9dc3b5e4..00000000
--- a/pervasives/containers_pervasives.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
-CCPervasives
-# OASIS_STOP
diff --git a/src/advanced/containers_advanced.mldylib b/src/advanced/containers_advanced.mldylib
deleted file mode 100644
index a5d214cf..00000000
--- a/src/advanced/containers_advanced.mldylib
+++ /dev/null
@@ -1,8 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: b0f5a3a0b7428f165d73d9e621998219)
-Containers_advanced
-CCLinq
-CCBatch
-CCCat
-CCMonadIO
-# OASIS_STOP
diff --git a/src/advanced/containers_advanced.mllib b/src/advanced/containers_advanced.mllib
deleted file mode 100644
index a5d214cf..00000000
--- a/src/advanced/containers_advanced.mllib
+++ /dev/null
@@ -1,8 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: b0f5a3a0b7428f165d73d9e621998219)
-Containers_advanced
-CCLinq
-CCBatch
-CCCat
-CCMonadIO
-# OASIS_STOP
diff --git a/src/bigarray/containers_bigarray.mldylib b/src/bigarray/containers_bigarray.mldylib
deleted file mode 100644
index 6077c8cc..00000000
--- a/src/bigarray/containers_bigarray.mldylib
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 4901abd33a2dfcf115ddeffb93e1186e)
-CCBigstring
-CCArray1
-# OASIS_STOP
diff --git a/src/bigarray/containers_bigarray.mllib b/src/bigarray/containers_bigarray.mllib
deleted file mode 100644
index 6077c8cc..00000000
--- a/src/bigarray/containers_bigarray.mllib
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 4901abd33a2dfcf115ddeffb93e1186e)
-CCBigstring
-CCArray1
-# OASIS_STOP
diff --git a/src/core/containers.mldylib b/src/core/containers.mldylib
deleted file mode 100644
index 4a124ca1..00000000
--- a/src/core/containers.mldylib
+++ /dev/null
@@ -1,32 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: c777330f5cf164f02058ae02e3afa987)
-CCVector
-CCHeap
-CCList
-CCOpt
-CCPair
-CCFun
-CCHash
-CCInt
-CCBool
-CCFloat
-CCArray
-CCRef
-CCSet
-CCOrd
-CCRandom
-CCString
-CCHashtbl
-CCMap
-CCFormat
-CCIO
-CCInt64
-CCChar
-CCResult
-CCParse
-CCArray_slice
-CCListLabels
-CCArrayLabels
-CCEqual
-Containers
-# OASIS_STOP
diff --git a/src/core/containers.mllib b/src/core/containers.mllib
deleted file mode 100644
index 4a124ca1..00000000
--- a/src/core/containers.mllib
+++ /dev/null
@@ -1,32 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: c777330f5cf164f02058ae02e3afa987)
-CCVector
-CCHeap
-CCList
-CCOpt
-CCPair
-CCFun
-CCHash
-CCInt
-CCBool
-CCFloat
-CCArray
-CCRef
-CCSet
-CCOrd
-CCRandom
-CCString
-CCHashtbl
-CCMap
-CCFormat
-CCIO
-CCInt64
-CCChar
-CCResult
-CCParse
-CCArray_slice
-CCListLabels
-CCArrayLabels
-CCEqual
-Containers
-# OASIS_STOP
diff --git a/src/data/containers_data.mldylib b/src/data/containers_data.mldylib
deleted file mode 100644
index 448bdbc9..00000000
--- a/src/data/containers_data.mldylib
+++ /dev/null
@@ -1,28 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: d1bab4c4f6793f682baaf28f0865fa42)
-CCMultiMap
-CCMultiSet
-CCTrie
-CCFlatHashtbl
-CCCache
-CCPersistentHashtbl
-CCDeque
-CCFQueue
-CCBV
-CCMixtbl
-CCMixmap
-CCRingBuffer
-CCIntMap
-CCPersistentArray
-CCMixset
-CCGraph
-CCHashSet
-CCBitField
-CCHashTrie
-CCWBTree
-CCRAL
-CCSimple_queue
-CCImmutArray
-CCHet
-CCZipper
-# OASIS_STOP
diff --git a/src/data/containers_data.mllib b/src/data/containers_data.mllib
deleted file mode 100644
index 448bdbc9..00000000
--- a/src/data/containers_data.mllib
+++ /dev/null
@@ -1,28 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: d1bab4c4f6793f682baaf28f0865fa42)
-CCMultiMap
-CCMultiSet
-CCTrie
-CCFlatHashtbl
-CCCache
-CCPersistentHashtbl
-CCDeque
-CCFQueue
-CCBV
-CCMixtbl
-CCMixmap
-CCRingBuffer
-CCIntMap
-CCPersistentArray
-CCMixset
-CCGraph
-CCHashSet
-CCBitField
-CCHashTrie
-CCWBTree
-CCRAL
-CCSimple_queue
-CCImmutArray
-CCHet
-CCZipper
-# OASIS_STOP
diff --git a/src/io/containers_io.mldylib b/src/io/containers_io.mldylib
deleted file mode 100644
index 98113180..00000000
--- a/src/io/containers_io.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 9573c9c3109b1d53a61739444853a7b2)
-Containers_io_is_deprecated
-# OASIS_STOP
diff --git a/src/io/containers_io.mllib b/src/io/containers_io.mllib
deleted file mode 100644
index 98113180..00000000
--- a/src/io/containers_io.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 9573c9c3109b1d53a61739444853a7b2)
-Containers_io_is_deprecated
-# OASIS_STOP
diff --git a/src/iter/containers_iter.mldylib b/src/iter/containers_iter.mldylib
deleted file mode 100644
index 0e26e49c..00000000
--- a/src/iter/containers_iter.mldylib
+++ /dev/null
@@ -1,6 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 158a5d6029014525d6b1b1c6dc6c848a)
-CCKTree
-CCKList
-CCLazy_list
-# OASIS_STOP
diff --git a/src/iter/containers_iter.mllib b/src/iter/containers_iter.mllib
deleted file mode 100644
index 0e26e49c..00000000
--- a/src/iter/containers_iter.mllib
+++ /dev/null
@@ -1,6 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 158a5d6029014525d6b1b1c6dc6c848a)
-CCKTree
-CCKList
-CCLazy_list
-# OASIS_STOP
diff --git a/src/lwt/containers_lwt.mldylib b/src/lwt/containers_lwt.mldylib
deleted file mode 100644
index 2cafc3b9..00000000
--- a/src/lwt/containers_lwt.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
-Containers_lwt
-# OASIS_STOP
diff --git a/src/lwt/containers_lwt.mllib b/src/lwt/containers_lwt.mllib
deleted file mode 100644
index 2cafc3b9..00000000
--- a/src/lwt/containers_lwt.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: bc144ef7b5b54947fab9662a822f9179)
-Containers_lwt
-# OASIS_STOP
diff --git a/src/lwt/containers_lwt.mlpack b/src/lwt/containers_lwt.mlpack
deleted file mode 100644
index 941bca91..00000000
--- a/src/lwt/containers_lwt.mlpack
+++ /dev/null
@@ -1,7 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 41ca039f453c9bf865bafe93b638ae8a)
-Lwt_automaton
-Lwt_actor
-Lwt_klist
-Lwt_pipe
-# OASIS_STOP
diff --git a/src/misc/containers_misc.mldylib b/src/misc/containers_misc.mldylib
deleted file mode 100644
index 551a3188..00000000
--- a/src/misc/containers_misc.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
-Containers_misc
-# OASIS_STOP
diff --git a/src/misc/containers_misc.mllib b/src/misc/containers_misc.mllib
deleted file mode 100644
index 551a3188..00000000
--- a/src/misc/containers_misc.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 2df0608accd158542ebcb00720cfe599)
-Containers_misc
-# OASIS_STOP
diff --git a/src/misc/containers_misc.mlpack b/src/misc/containers_misc.mlpack
deleted file mode 100644
index 2683c47c..00000000
--- a/src/misc/containers_misc.mlpack
+++ /dev/null
@@ -1,18 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: a0730df368ed19a3b181d80ccf7985b6)
-AbsSet
-Automaton
-Bij
-CSM
-Hashset
-LazyGraph
-PHashtbl
-PrintBox
-RAL
-RoseTree
-SmallSet
-UnionFind
-Univ
-Puf
-Backtrack
-# OASIS_STOP
diff --git a/src/pervasives/containers_pervasives.mldylib b/src/pervasives/containers_pervasives.mldylib
deleted file mode 100644
index 9dc3b5e4..00000000
--- a/src/pervasives/containers_pervasives.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
-CCPervasives
-# OASIS_STOP
diff --git a/src/pervasives/containers_pervasives.mllib b/src/pervasives/containers_pervasives.mllib
deleted file mode 100644
index 9dc3b5e4..00000000
--- a/src/pervasives/containers_pervasives.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: ea286cccf88f4c81c7b4627216807d4e)
-CCPervasives
-# OASIS_STOP
diff --git a/src/sexp/containers_sexp.mldylib b/src/sexp/containers_sexp.mldylib
deleted file mode 100644
index b94bf090..00000000
--- a/src/sexp/containers_sexp.mldylib
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 4640171b5c1e230fed61988875c62e8d)
-CCSexp
-CCSexp_lex
-# OASIS_STOP
diff --git a/src/sexp/containers_sexp.mllib b/src/sexp/containers_sexp.mllib
deleted file mode 100644
index b94bf090..00000000
--- a/src/sexp/containers_sexp.mllib
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 4640171b5c1e230fed61988875c62e8d)
-CCSexp
-CCSexp_lex
-# OASIS_STOP
diff --git a/src/string/containers_string.mldylib b/src/string/containers_string.mldylib
deleted file mode 100644
index ef101f6c..00000000
--- a/src/string/containers_string.mldylib
+++ /dev/null
@@ -1,8 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: b0d9848489c9eaabded92f7c9fec3073)
-Containers_string
-CCKMP
-CCLevenshtein
-CCApp_parse
-CCParse
-# OASIS_STOP
diff --git a/src/string/containers_string.mllib b/src/string/containers_string.mllib
deleted file mode 100644
index ef101f6c..00000000
--- a/src/string/containers_string.mllib
+++ /dev/null
@@ -1,8 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: b0d9848489c9eaabded92f7c9fec3073)
-Containers_string
-CCKMP
-CCLevenshtein
-CCApp_parse
-CCParse
-# OASIS_STOP
diff --git a/src/threads/containers_thread.mldylib b/src/threads/containers_thread.mldylib
deleted file mode 100644
index dac427b5..00000000
--- a/src/threads/containers_thread.mldylib
+++ /dev/null
@@ -1,9 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 5cf3cd134d141ea5acafb464c2b3e927)
-CCPool
-CCLock
-CCSemaphore
-CCThread
-CCBlockingQueue
-CCTimer
-# OASIS_STOP
diff --git a/src/threads/containers_thread.mllib b/src/threads/containers_thread.mllib
deleted file mode 100644
index dac427b5..00000000
--- a/src/threads/containers_thread.mllib
+++ /dev/null
@@ -1,9 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 5cf3cd134d141ea5acafb464c2b3e927)
-CCPool
-CCLock
-CCSemaphore
-CCThread
-CCBlockingQueue
-CCTimer
-# OASIS_STOP
diff --git a/src/top/containers_top.mldylib b/src/top/containers_top.mldylib
deleted file mode 100644
index 77082113..00000000
--- a/src/top/containers_top.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 06c9d81e0a532aa96d3f60ef4ed7045d)
-Containers_top
-# OASIS_STOP
diff --git a/src/top/containers_top.mllib b/src/top/containers_top.mllib
deleted file mode 100644
index 77082113..00000000
--- a/src/top/containers_top.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 06c9d81e0a532aa96d3f60ef4ed7045d)
-Containers_top
-# OASIS_STOP
diff --git a/src/unix/containers_unix.mldylib b/src/unix/containers_unix.mldylib
deleted file mode 100644
index 95342249..00000000
--- a/src/unix/containers_unix.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: cc54fa6ddd5d32bdf577cb187f4cf07c)
-CCUnix
-# OASIS_STOP
diff --git a/src/unix/containers_unix.mllib b/src/unix/containers_unix.mllib
deleted file mode 100644
index 95342249..00000000
--- a/src/unix/containers_unix.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: cc54fa6ddd5d32bdf577cb187f4cf07c)
-CCUnix
-# OASIS_STOP
diff --git a/string/containers_string.mldylib b/string/containers_string.mldylib
deleted file mode 100644
index 48464c54..00000000
--- a/string/containers_string.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: c89cc456e050edff914368d7fbea4eca)
-Containers_string
-# OASIS_STOP
diff --git a/string/containers_string.mllib b/string/containers_string.mllib
deleted file mode 100644
index 48464c54..00000000
--- a/string/containers_string.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: c89cc456e050edff914368d7fbea4eca)
-Containers_string
-# OASIS_STOP
diff --git a/string/containers_string.mlpack b/string/containers_string.mlpack
deleted file mode 100644
index 6daaf586..00000000
--- a/string/containers_string.mlpack
+++ /dev/null
@@ -1,5 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: eed887f169b0c8e02f98f97c676f846c)
-KMP
-Levenshtein
-# OASIS_STOP
diff --git a/threads/containers_thread.mldylib b/threads/containers_thread.mldylib
deleted file mode 100644
index 420c8b75..00000000
--- a/threads/containers_thread.mldylib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: ede75f11c3857d71e591f7b889f4d09d)
-CCFuture
-# OASIS_STOP
diff --git a/threads/containers_thread.mllib b/threads/containers_thread.mllib
deleted file mode 100644
index 420c8b75..00000000
--- a/threads/containers_thread.mllib
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: ede75f11c3857d71e591f7b889f4d09d)
-CCFuture
-# OASIS_STOP