cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi
cicNotationMatcher.cmi: cicNotationPt.cmo cicNotationEnv.cmi
cicNotationFwd.cmi: cicNotationPt.cmo cicNotationEnv.cmi
-cicNotationRew.cmi: cicNotationPt.cmo
cicNotationParser.cmi: cicNotationPt.cmo cicNotationEnv.cmi
+cicNotationRew.cmi: cicNotationPt.cmo
cicNotationPres.cmi: cicNotationPt.cmo
cicNotationUtil.cmo: cicNotationPt.cmo cicNotationUtil.cmi
cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi
cicNotationFwd.cmi
cicNotationFwd.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmx \
cicNotationFwd.cmi
-cicNotationRew.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
- cicNotationMatcher.cmi cicNotationEnv.cmi cicNotationRew.cmi
-cicNotationRew.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
- cicNotationMatcher.cmx cicNotationEnv.cmx cicNotationRew.cmi
cicNotationParser.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
cicNotationPp.cmi cicNotationLexer.cmi cicNotationEnv.cmi \
cicNotationParser.cmi
cicNotationParser.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
cicNotationPp.cmx cicNotationLexer.cmx cicNotationEnv.cmx \
cicNotationParser.cmi
-cicNotationPres.cmo: cicNotationPt.cmo cicNotationPres.cmi
-cicNotationPres.cmx: cicNotationPt.cmx cicNotationPres.cmi
+cicNotationRew.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
+ cicNotationParser.cmi cicNotationMatcher.cmi cicNotationEnv.cmi \
+ cicNotationRew.cmi
+cicNotationRew.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
+ cicNotationParser.cmx cicNotationMatcher.cmx cicNotationEnv.cmx \
+ cicNotationRew.cmi
+cicNotationPres.cmo: cicNotationPt.cmo cicNotationPres.cmi cicNotationPp.cmi \
+ cicNotationPres.cmi
+cicNotationPres.cmx: cicNotationPt.cmx cicNotationPres.cmx cicNotationPp.cmx \
+ cicNotationPres.cmi