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