2 META.helm-cic_annotations
3 META.helm-cic_annotations_cache
5 META.helm-cic_proof_checking
6 META.helm-tex_cic_textual_parser
7 META.helm-cic_textual_parser
8 META.helm-cic_textual_parser2
9 META.helm-cic_unification
12 META.helm-mathql_interpreter
14 META.helm-mathql_generator
19 META.helm-cic_transformations