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