]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
MODULES = \
extlib \
xml \
MODULES = \
extlib \
xml \
registry \
hmysql \
utf8_macros \
registry \
hmysql \
utf8_macros \
cic \
cic_proof_checking \
cic_unification \
cic \
cic_proof_checking \
cic_unification \
+ cic_acic \
+ acic_content \
+ content_pres \
+ grafite \
metadata \
whelp \
tactics \
metadata \
whelp \
tactics \
- cic_notation \
- cic_transformations \
cic_disambiguation \
paramodulation \
$(NULL)
cic_disambiguation \
paramodulation \
$(NULL)