logic_notation.cmx: cicTextualParser2.cmx disambiguateChoices.cmx
arit_notation.cmo: cicTextualParser2.cmi disambiguateChoices.cmi
arit_notation.cmx: cicTextualParser2.cmx disambiguateChoices.cmx
+tex_notation.cmo: cicTextualParser2.cmi
+tex_notation.cmx: cicTextualParser2.cmx