diff --git a/.ocamlinit b/.ocamlinit
deleted file mode 100644
index 1b93b2ce..00000000
--- a/.ocamlinit
+++ /dev/null
@@ -1,2 +0,0 @@
-#directory "_build/src";;
-#load "msat.cma";;
diff --git a/VERSION b/VERSION
deleted file mode 100644
index 5a2a5806..00000000
--- a/VERSION
+++ /dev/null
@@ -1 +0,0 @@
-0.6