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