META.helm-cic_cache
META.helm-xml
META.helm-cic_proof_checking
+META.helm-cic_textual_parser
+META.helm-cic_unification
+META.helm-tactics
+META.helm-mathql_interpreter
+META.helm-mathql
Makefile
+Makefile.common
configure
config.log
config.cache
config.status
+autom4te.cache