helm/ocaml/paramodulation/.depend

   1 inference.cmi: utils.cmi
   2 utils.cmo: utils.cmi
   3 utils.cmx: utils.cmi
   4 inference.cmo: utils.cmi inference.cmi
   5 inference.cmx: utils.cmx inference.cmi
   6 path_indexing.cmo: utils.cmi trie.cmo inference.cmi
   7 path_indexing.cmx: utils.cmx trie.cmx inference.cmx
   8 discrimination_tree.cmo: utils.cmi trie.cmo inference.cmi
   9 discrimination_tree.cmx: utils.cmx trie.cmx inference.cmx
  10 indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo
  11 indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx
  12 saturation.cmo: utils.cmi inference.cmi indexing.cmo
  13 saturation.cmx: utils.cmx inference.cmx indexing.cmx