popl09/.depend

   1 asttopopl.cmi: ast_popl.cmo
   2 insert_quantifiers.cmi: ast_popl.cmo
   3 popltoctl.cmi: ast_popl.cmo
   4 pretty_print_popl.cmi: ast_popl.cmo
   5 asttopopl.cmo: ast_popl.cmo asttopopl.cmi
   6 asttopopl.cmx: ast_popl.cmx asttopopl.cmi
   7 insert_quantifiers.cmo: ast_popl.cmo insert_quantifiers.cmi
   8 insert_quantifiers.cmx: ast_popl.cmx insert_quantifiers.cmi
   9 popl.cmo: popltoctl.cmi insert_quantifiers.cmi asttopopl.cmi popl.cmi
  10 popl.cmx: popltoctl.cmx insert_quantifiers.cmx asttopopl.cmx popl.cmi
  11 popltoctl.cmo: flag_popl.cmo ast_popl.cmo popltoctl.cmi
  12 popltoctl.cmx: flag_popl.cmx ast_popl.cmx popltoctl.cmi
  13 pretty_print_popl.cmo: ast_popl.cmo pretty_print_popl.cmi
  14 pretty_print_popl.cmx: ast_popl.cmx pretty_print_popl.cmi