-src/basic_ag/bag.cmo: src/lib/log.cmi src/common/entity.cmx src/lib/cps.cmx
-src/basic_ag/bag.cmx: src/lib/log.cmx src/common/entity.cmx src/lib/cps.cmx
-src/basic_ag/bagOutput.cmi: src/lib/log.cmi src/basic_ag/bag.cmx
-src/basic_ag/bagOutput.cmo: src/common/options.cmx src/lib/log.cmi \
- src/common/hierarchy.cmi src/common/entity.cmx src/basic_ag/bag.cmx \
- src/basic_ag/bagOutput.cmi
-src/basic_ag/bagOutput.cmx: src/common/options.cmx src/lib/log.cmx \
- src/common/hierarchy.cmx src/common/entity.cmx src/basic_ag/bag.cmx \
- src/basic_ag/bagOutput.cmi
-src/basic_ag/bagEnvironment.cmi: src/basic_ag/bag.cmx
-src/basic_ag/bagEnvironment.cmo: src/lib/log.cmi src/common/entity.cmx \
- src/basic_ag/bag.cmx src/basic_ag/bagEnvironment.cmi
-src/basic_ag/bagEnvironment.cmx: src/lib/log.cmx src/common/entity.cmx \
- src/basic_ag/bag.cmx src/basic_ag/bagEnvironment.cmi
-src/basic_ag/bagSubstitution.cmi: src/basic_ag/bag.cmx
-src/basic_ag/bagSubstitution.cmo: src/lib/share.cmx src/basic_ag/bag.cmx \
- src/basic_ag/bagSubstitution.cmi
-src/basic_ag/bagSubstitution.cmx: src/lib/share.cmx src/basic_ag/bag.cmx \
- src/basic_ag/bagSubstitution.cmi
-src/basic_ag/bagReduction.cmi: src/basic_ag/bag.cmx
-src/basic_ag/bagReduction.cmo: src/lib/log.cmi src/common/entity.cmx \
- src/lib/cps.cmx src/basic_ag/bagSubstitution.cmi \
- src/basic_ag/bagOutput.cmi src/basic_ag/bagEnvironment.cmi \
- src/basic_ag/bag.cmx src/basic_ag/bagReduction.cmi
-src/basic_ag/bagReduction.cmx: src/lib/log.cmx src/common/entity.cmx \
- src/lib/cps.cmx src/basic_ag/bagSubstitution.cmx \
- src/basic_ag/bagOutput.cmx src/basic_ag/bagEnvironment.cmx \
- src/basic_ag/bag.cmx src/basic_ag/bagReduction.cmi
-src/basic_ag/bagType.cmi: src/common/status.cmx src/basic_ag/bag.cmx
-src/basic_ag/bagType.cmo: src/common/status.cmx src/lib/share.cmx \
- src/lib/log.cmi src/common/hierarchy.cmi src/common/entity.cmx \
- src/lib/cps.cmx src/basic_ag/bagReduction.cmi src/basic_ag/bagOutput.cmi \
- src/basic_ag/bagEnvironment.cmi src/basic_ag/bag.cmx \
- src/basic_ag/bagType.cmi
-src/basic_ag/bagType.cmx: src/common/status.cmx src/lib/share.cmx \
- src/lib/log.cmx src/common/hierarchy.cmx src/common/entity.cmx \
- src/lib/cps.cmx src/basic_ag/bagReduction.cmx src/basic_ag/bagOutput.cmx \
- src/basic_ag/bagEnvironment.cmx src/basic_ag/bag.cmx \
- src/basic_ag/bagType.cmi
-src/basic_ag/bagUntrusted.cmi: src/common/status.cmx src/basic_ag/bag.cmx
-src/basic_ag/bagUntrusted.cmo: src/lib/log.cmi src/common/entity.cmx \
- src/basic_ag/bagType.cmi src/basic_ag/bagEnvironment.cmi \
- src/basic_ag/bag.cmx src/basic_ag/bagUntrusted.cmi
-src/basic_ag/bagUntrusted.cmx: src/lib/log.cmx src/common/entity.cmx \
- src/basic_ag/bagType.cmx src/basic_ag/bagEnvironment.cmx \
- src/basic_ag/bag.cmx src/basic_ag/bagUntrusted.cmi
-src/complete_rg/crg.cmo: src/common/level.cmi src/common/entity.cmx
-src/complete_rg/crg.cmx: src/common/level.cmx src/common/entity.cmx
-src/complete_rg/crgOutput.cmi: src/complete_rg/crg.cmx
-src/complete_rg/crgOutput.cmo: src/lib/log.cmi src/common/level.cmi \
- src/common/hierarchy.cmi src/common/entity.cmx src/complete_rg/crg.cmx \
- src/lib/cps.cmx src/complete_rg/crgOutput.cmi
-src/complete_rg/crgOutput.cmx: src/lib/log.cmx src/common/level.cmx \
- src/common/hierarchy.cmx src/common/entity.cmx src/complete_rg/crg.cmx \
- src/lib/cps.cmx src/complete_rg/crgOutput.cmi
-src/complete_rg/crgTxt.cmi: src/text/txt.cmx src/complete_rg/crg.cmx
-src/complete_rg/crgTxt.cmo: src/text/txtTxt.cmi src/text/txt.cmx \
- src/common/options.cmx src/common/hierarchy.cmi src/common/entity.cmx \
- src/complete_rg/crg.cmx src/lib/cps.cmx src/complete_rg/crgTxt.cmi
-src/complete_rg/crgTxt.cmx: src/text/txtTxt.cmx src/text/txt.cmx \
- src/common/options.cmx src/common/hierarchy.cmx src/common/entity.cmx \
- src/complete_rg/crg.cmx src/lib/cps.cmx src/complete_rg/crgTxt.cmi
-src/complete_rg/crgAut.cmi: src/complete_rg/crg.cmx src/automath/aut.cmx
-src/complete_rg/crgAut.cmo: src/common/options.cmx src/common/level.cmi \