-cicNotationRew.cmo: grafiteAst.cmo cicNotationUtil.cmi cicNotationPt.cmo \
- cicNotationParser.cmi cicNotationMatcher.cmi cicNotationEnv.cmi \
- cicNotationRew.cmi
-cicNotationRew.cmx: grafiteAst.cmx cicNotationUtil.cmx cicNotationPt.cmx \
- cicNotationParser.cmx cicNotationMatcher.cmx cicNotationEnv.cmx \
- cicNotationRew.cmi