helm/ocaml/paramodulation/.depend

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