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