]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_proof_checking/Makefile
INTERFACE_FILES = \
cicLogger.mli \
cicEnvironment.mli \
INTERFACE_FILES = \
cicLogger.mli \
cicEnvironment.mli \
cicSubstitution.mli \
cicMiniReduction.mli \
cicReductionNaif.mli \
cicSubstitution.mli \
cicMiniReduction.mli \
cicReductionNaif.mli \