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 inference.cmi
   7 path_indexing.cmx: utils.cmx inference.cmx
   8 indexing.cmo: utils.cmi inference.cmi
   9 indexing.cmx: utils.cmx inference.cmx
  10 saturation.cmo: utils.cmi inference.cmi indexing.cmo
  11 saturation.cmx: utils.cmx inference.cmx indexing.cmx