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