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