first commit of paramodulation-based theorem proving for helm...

[helm.git] / helm / ocaml / paramodulation / .cvsignore

diff --git a/helm/ocaml/paramodulation/.cvsignore b/helm/ocaml/paramodulation/.cvsignore
new file mode 100644 (file)
index 0000000..9ef1b56
--- /dev/null
+++ b/helm/ocaml/paramodulation/.cvsignore
@@ -0,0 +1,2 @@
+*.cm[iaox] *.cmxa
+.depend