lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi
lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi
cicNotation.cmo: lexiconAst.cmo cicNotation.cmi
cicNotation.cmx: lexiconAst.cmx cicNotation.cmi
lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmo lexiconMarshal.cmi
lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi
cicNotation.cmo: lexiconAst.cmo cicNotation.cmi
cicNotation.cmx: lexiconAst.cmx cicNotation.cmi