META.helm-cic
META.helm-cic_annotations
META.helm-cic_annotations_cache
META.helm-cic_cache
META.helm-cic_proof_checking
META.helm-tex_cic_textual_parser
META.helm-cic_textual_parser
META.helm-cic_textual_parser2
META.helm-cic_unification
META.helm-getter
META.helm-mathql
META.helm-mathql_interpreter
META.helm-mathql_test
META.helm-mathql_generator
META.helm-pxp
META.helm-tactics
META.helm-urimanager
META.helm-xml
META.helm-cic_transformations
META.helm-cic_omdoc