cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotationRew.cmi \
cicNotationParser.cmi cicNotationFwd.cmi cicNotation.cmi
cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotationRew.cmx \
cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotationRew.cmi \
cicNotationParser.cmi cicNotationFwd.cmi cicNotation.cmi
cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotationRew.cmx \