]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/ng_tactics/Makefile
PACKAGE = ng_tactics
INTERFACE_FILES = \
+ continuationals.mli \
nCicTacReduction.mli \
nTacStatus.mli \
nCicElim.mli \
nTactics.mli \
- zipTree.mli \
- andOrTree.mli \
nnAuto.mli \
- nAuto.mli \
+ declarative.mli \
nDestructTac.mli \
nInversion.mli