]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
getter \
cic \
cic_proof_checking \
- cic_unification \
cic_acic \
acic_content \
content_pres \
grafite \
metadata \
+ library \
+ cic_unification \
whelp \
tactics \
cic_disambiguation \