content.cmo : \
    content.cmi
content.cmx : \
    content.cmi
content.cmi :
notationEnv.cmo : \
    notationUtil.cmi \
    notationPt.cmo \
    notationEnv.cmi
notationEnv.cmx : \
    notationUtil.cmx \
    notationPt.cmx \
    notationEnv.cmi
notationEnv.cmi : \
    notationPt.cmo
notationPp.cmo : \
    notationPt.cmo \
    notationEnv.cmi \
    notationPp.cmi
notationPp.cmx : \
    notationPt.cmx \
    notationEnv.cmx \
    notationPp.cmi
notationPp.cmi : \
    notationPt.cmo \
    notationEnv.cmi
notationPt.cmo :
notationPt.cmx :
notationUtil.cmo : \
    notationPt.cmo \
    notationUtil.cmi
notationUtil.cmx : \
    notationPt.cmx \
    notationUtil.cmi
notationUtil.cmi : \
    notationPt.cmo