Update to the new name io:system:ocaml

Author: clarus

META

@@ -1,5 +1,5 @@
-description = "Unix effects for Coq extracted programs."
-archive(byte) = "ioEffectsUnix.cma"
-archive(native) = "ioEffectsUnix.cmxa"
+description = "Coq system effects for extraction to OCaml."
+archive(byte) = "ioSystem.cma"
+archive(native) = "ioSystem.cmxa"
 version = "dev"
 requires = "lwt lwt.unix"

README.md

@@ -1,5 +1,5 @@
-# IO Effects for Unix (extraction)
-Unix effects for Coq extracted programs.
+# IO Effects
+Coq system effects for extraction to [OCaml](http://ocaml.org/).
 
 ## Use
-See the [io-effects-unix](https://github.com/clarus/io-effects-unix) project.
+See the [io-system](https://github.com/clarus/io-system) project.

ioEffectsUnix.mllib

@@ -0,0 +1 @@
+IoSystem