1 PACKAGE = ng_paramodulation
4 terms.mli pp.mli fosubst.mli founif.mli index.mli orderings.mli \
5 nCicBlob.mli cicBlob.mli paramod.mli
7 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
11 include ../../Makefile.defs
12 include ../Makefile.common