sequent2pres.cmi: mpresentation.cmi box.cmi
tacticAstPp.cmi: tacticAst.cmo cicAst.cmi
boxPp.cmi: cicAst.cmi box.cmi
-tacticAst2Box.cmi: tacticAst.cmo cicAst.cmi box.cmi
tacticAst.cmo: cicAst.cmi
tacticAst.cmx: cicAst.cmx
cicAst.cmo: cicAst.cmi
tacticAstPp.cmx: tacticAst.cmx cicAstPp.cmx tacticAstPp.cmi
boxPp.cmo: cicAstPp.cmi box.cmi ast2pres.cmi boxPp.cmi
boxPp.cmx: cicAstPp.cmx box.cmx ast2pres.cmx boxPp.cmi
-tacticAst2Box.cmo: tacticAstPp.cmi tacticAst.cmo cicAstPp.cmi boxPp.cmi \
- box.cmi ast2pres.cmi tacticAst2Box.cmi
-tacticAst2Box.cmx: tacticAstPp.cmx tacticAst.cmx cicAstPp.cmx boxPp.cmx \
- box.cmx ast2pres.cmx tacticAst2Box.cmi