From d67ebd1c12fd3d7b041a79b79e5829b25d90da9f Mon Sep 17 00:00:00 2001 From: Alberto Griggio Date: Thu, 21 Jul 2005 11:44:33 +0000 Subject: [PATCH] added paramodulation package --- helm/ocaml/METAS/meta.helm-paramodulation.src | 5 +++++ helm/ocaml/Makefile.in | 1 + 2 files changed, 6 insertions(+) create mode 100644 helm/ocaml/METAS/meta.helm-paramodulation.src diff --git a/helm/ocaml/METAS/meta.helm-paramodulation.src b/helm/ocaml/METAS/meta.helm-paramodulation.src new file mode 100644 index 000000000..79d26ba03 --- /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 3a3bcbf6f..f74927b6e 100644 --- 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@ -- 2.39.2