X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2Fclauses.mli;fp=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2Fclauses.mli;h=c704e9d2a8c42ad309a58481aed164b722a85e6b;hb=7ab04e91c35dafe2b09212059d5cee22347fdce6;hp=0000000000000000000000000000000000000000;hpb=2041f4fefe300f77338f6aea598f025f84db1bbc;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/clauses.mli b/helm/software/components/binaries/matitaprover/clauses.mli
new file mode 120000
index 000000000..c704e9d2a
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/clauses.mli
@@ -0,0 +1 @@
+../../ng_paramodulation/clauses.mli
\ No newline at end of file