]>
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 \
getter \
cic \
cic_proof_checking \
getter \
cic \
cic_proof_checking \
- cic_unification \
- cic_omdoc \
+ cic_acic \
+ acic_content \
+ content_pres \
+ grafite \
+ library \
+ cic_unification \
+ whelp \
- cic_notation \
- cic_transformations \
cic_disambiguation \
paramodulation \
$(NULL)
cic_disambiguation \
paramodulation \
$(NULL)