From: Alberto Griggio <griggio@fbk.eu>
Date: Thu, 21 Jul 2005 21:38:36 +0000 (+0000)
Subject: dependencies
X-Git-Tag: V_0_7_2~113
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7b56e4ccf2c4e4a36c6b4062891d48407baf980a;p=helm.git

dependencies
---

diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend
new file mode 100644
index 000000000..8a74093c5
--- /dev/null
+++ b/helm/ocaml/paramodulation/.depend
@@ -0,0 +1,13 @@
+inference.cmi: utils.cmi 
+utils.cmo: utils.cmi 
+utils.cmx: utils.cmi 
+inference.cmo: utils.cmi inference.cmi 
+inference.cmx: utils.cmx inference.cmi 
+path_indexing.cmo: utils.cmi trie.cmo inference.cmi 
+path_indexing.cmx: utils.cmx trie.cmx inference.cmx 
+discrimination_tree.cmo: utils.cmi trie.cmo inference.cmi 
+discrimination_tree.cmx: utils.cmx trie.cmx inference.cmx 
+indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo 
+indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx 
+saturation.cmo: utils.cmi inference.cmi indexing.cmo 
+saturation.cmx: utils.cmx inference.cmx indexing.cmx