+common/options.cmo: lib/cps.cmx
+common/options.cmx: lib/cps.cmx
+common/hierarchy.cmi:
+common/hierarchy.cmo: lib/cps.cmx common/hierarchy.cmi
+common/hierarchy.cmx: lib/cps.cmx common/hierarchy.cmi
+common/output.cmi:
+common/output.cmo: common/options.cmx lib/log.cmi common/output.cmi
+common/output.cmx: common/options.cmx lib/log.cmx common/output.cmi
+common/entity.cmo: common/options.cmx lib/nUri.cmi automath/aut.cmx
+common/entity.cmx: common/options.cmx lib/nUri.cmx automath/aut.cmx
+common/library.cmi: common/entity.cmx
+common/library.cmo: lib/nUri.cmi common/hierarchy.cmi common/entity.cmx \
+ lib/cps.cmx common/library.cmi
+common/library.cmx: lib/nUri.cmx common/hierarchy.cmx common/entity.cmx \
+ lib/cps.cmx common/library.cmi
+text/txt.cmo:
+text/txt.cmx:
+text/txtParser.cmi: text/txt.cmx
+text/txtParser.cmo: text/txt.cmx text/txtParser.cmi
+text/txtParser.cmx: text/txt.cmx text/txtParser.cmi
+text/txtLexer.cmo: text/txtParser.cmi lib/log.cmi
+text/txtLexer.cmx: text/txtParser.cmx lib/log.cmx
+text/txtTxt.cmi: text/txt.cmx
+text/txtTxt.cmo: text/txt.cmx lib/cps.cmx text/txtTxt.cmi
+text/txtTxt.cmx: text/txt.cmx lib/cps.cmx text/txtTxt.cmi
+automath/aut.cmo:
+automath/aut.cmx: