tcc.cmo: tcc.ml tcc.cmi ../../src/lib/util/pp.cmi ../../src/lib/util/std.cmi ../../src/lib/util/more_util.cmi ../../src/meta/names.cmi ../../src/meta/generic.cmi ../../src/constr/term.cmi ../../src/typing/termenv.cmi ../../src/proofs/tacmach.cmi ../../src/typing/himsg.cmi ../../src/typing/reduction.cmi ../../src/typing/trad.cmi ../../src/proofs/proof_trees.cmi ../../src/tactics/tactics.cmi ../../src/tactics/tacticals.cmi ../../src/typing/astterm.cmi ../../src/parsing/ast.cmi
tcc.cmx: tcc.ml tcc.cmi ../../src/lib/util/pp.cmx ../../src/lib/util/std.cmx ../../src/lib/util/more_util.cmx ../../src/meta/names.cmx ../../src/meta/generic.cmx ../../src/constr/term.cmx ../../src/typing/termenv.cmx ../../src/proofs/tacmach.cmx ../../src/typing/himsg.cmx ../../src/typing/reduction.cmx ../../src/typing/trad.cmx ../../src/proofs/proof_trees.cmx ../../src/tactics/tactics.cmx ../../src/tactics/tacticals.cmx ../../src/typing/astterm.cmx ../../src/parsing/ast.cmx
tcc.cmi: tcc.mli ../../src/constr/term.cmi ../../src/proofs/tacmach.cmi
Tests.vo: Tests.v Refine.vo
Refine.vo: Refine.v tcc.cmo
