1 PACKAGE = ng_paramodulation
4 terms.mli pp.mli foSubst.mli \
5 orderings.mli foUtils.mli index.mli foUnif.mli superposition.mli \
6 paramod.mli nCicBlob.mli cicBlob.mli nCicProof.mli nCicParamod.mli
8 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
12 include ../../Makefile.defs
13 include ../Makefile.common