1 cicNotationEnv.cmi: cicNotationPt.cmo
2 cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi
3 cicNotationParser.cmi: cicNotationPt.cmo cicNotationEnv.cmi
4 cicNotationLexer.cmo: cicNotationLexer.cmi
5 cicNotationLexer.cmx: cicNotationLexer.cmi
6 cicNotationEnv.cmo: cicNotationPt.cmo cicNotationEnv.cmi
7 cicNotationEnv.cmx: cicNotationPt.cmx cicNotationEnv.cmi
8 cicNotationPp.cmo: cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi
9 cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi
10 cicNotationParser.cmo: cicNotationPt.cmo cicNotationPp.cmi \
11 cicNotationLexer.cmi cicNotationEnv.cmi cicNotationParser.cmi
12 cicNotationParser.cmx: cicNotationPt.cmx cicNotationPp.cmx \
13 cicNotationLexer.cmx cicNotationEnv.cmx cicNotationParser.cmi