META.helm-cic
META.helm-getter
META.helm-cic_annotations
META.helm-pxp
META.helm-cic_annotations_cache
META.helm-urimanager
META.helm-cic_cache
META.helm-xml
META.helm-cic_proof_checking
META.helm-cic_textual_parser
META.helm-cic_unification
META.helm-mathql_interpreter
META.helm-mathql
Makefile
Makefile.common
configure
config.log
config.cache
config.status