added paramodulation package

diff --git a/helm/ocaml/METAS/meta.helm-paramodulation.src b/helm/ocaml/METAS/meta.helm-paramodulation.src
new file mode 100644 (file)
index 0000000..79d26ba
--- /dev/null
+++ b/helm/ocaml/METAS/meta.helm-paramodulation.src
@@ -0,0 +1,5 @@
+requires="helm-registry helm-cic_transformations helm-tactics helm-cic_textual_parser2 mysql"
+version="0.0.1"
+archive(byte)="paramodulation.cma"
+archive(native)="paramodulation.cmxa"
+linkopts=""

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 3a3bcbf6fb6a3bebb2f20ab79f412bb09473ea48..f74927b6eeb37876245a07bc0276d22dae50150b 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -18,6 +18,7 @@ MODULES =                     \
        cic_transformations     \
        cic_notation            \
        cic_textual_parser2     \
+       paramodulation          \
        $(NULL)
 
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@