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_unification
11 META.helm-mathql_interpreter
13 META.helm-mathql_generator
18 META.helm-cic_transformations