1 lexiconAstPp.cmi: lexiconAst.cmo
2 lexiconMarshal.cmi: lexiconAst.cmo
3 cicNotation.cmi: lexiconAst.cmo
4 lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi
5 lexiconSync.cmi: lexiconEngine.cmi lexiconAst.cmo
6 lexiconAstPp.cmo: lexiconAst.cmo lexiconAstPp.cmi
7 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi
8 lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi
9 lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi
10 cicNotation.cmo: lexiconAst.cmo cicNotation.cmi
11 cicNotation.cmx: lexiconAst.cmx cicNotation.cmi
12 lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmo cicNotation.cmi \
14 lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx cicNotation.cmx \
16 lexiconSync.cmo: lexiconEngine.cmi lexiconAst.cmo cicNotation.cmi \
18 lexiconSync.cmx: lexiconEngine.cmx lexiconAst.cmx cicNotation.cmx \