getter \
cic \
cic_proof_checking \
- cic_unification \
cic_acic \
acic_content \
content_pres \
grafite \
metadata \
+ library \
+ cic_unification \
whelp \
tactics \
- cic_disambiguation \
paramodulation \
+ cic_disambiguation \
+ grafite2 \
+ grafite_parser \
$(NULL)
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@