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