getter \
cic \
cic_annotations \
- cic_annotations_cache \
- cic_cache \
cic_proof_checking \
- cic_textual_parser \
- tex_cic_textual_parser \
cic_unification \
mathql \
mathql_generator \
mathql_interpreter \
cic_omdoc \
+ metadata \
tactics \
hbugs \
- metadata \
cic_transformations \
cic_textual_parser2