PACKAGE = ng_tactics

INTERFACE_FILES = \
  continuationals.mli \
	nCicTacReduction.mli \
	nTacStatus.mli \
	nCicElim.mli \
	nTactics.mli \
        nnAuto.mli \
	declarative.mli \
	nDestructTac.mli \
	nInversion.mli

IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)


all:


include ../../Makefile.defs
include ../Makefile.common