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

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