From: denes <??>
Date: Wed, 29 Jul 2009 16:17:45 +0000 (+0000)
Subject: Added symbolic link to clauses
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7ab04e91c35dafe2b09212059d5cee22347fdce6;hp=2041f4fefe300f77338f6aea598f025f84db1bbc;p=helm.git

Added symbolic link to clauses
---

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
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