diff options
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 28 |
1 files changed, 14 insertions, 14 deletions
@@ -2322,22 +2322,22 @@ contrib/cc/ccproof.cmx: contrib/cc/ccalgo.cmx kernel/names.cmx lib/pp.cmx \ lib/util.cmx contrib/cc/ccproof.cmi contrib/cc/cctac.cmo: contrib/cc/ccalgo.cmi contrib/cc/ccproof.cmi \ toplevel/cerrors.cmi interp/coqlib.cmi kernel/declarations.cmi \ - parsing/egrammar.cmi tactics/equality.cmi pretyping/evd.cmi \ - library/global.cmi pretyping/inductiveops.cmi library/libnames.cmi \ - library/library.cmi library/nameops.cmi kernel/names.cmi lib/options.cmi \ - parsing/pcoq.cmi lib/pp.cmi parsing/pptactic.cmi proofs/proof_type.cmi \ - proofs/refiner.cmi kernel/sign.cmi tactics/tacinterp.cmi \ - proofs/tacmach.cmi tactics/tacticals.cmi tactics/tactics.cmi \ - kernel/term.cmi lib/util.cmi + parsing/egrammar.cmi pretyping/evd.cmi library/global.cmi \ + pretyping/inductiveops.cmi library/libnames.cmi library/library.cmi \ + library/nameops.cmi kernel/names.cmi lib/options.cmi parsing/pcoq.cmi \ + lib/pp.cmi parsing/pptactic.cmi proofs/proof_type.cmi proofs/refiner.cmi \ + kernel/sign.cmi tactics/tacinterp.cmi proofs/tacmach.cmi \ + tactics/tacticals.cmi tactics/tactics.cmi kernel/term.cmi \ + pretyping/termops.cmi lib/util.cmi contrib/cc/cctac.cmx: contrib/cc/ccalgo.cmx contrib/cc/ccproof.cmx \ toplevel/cerrors.cmx interp/coqlib.cmx kernel/declarations.cmx \ - parsing/egrammar.cmx tactics/equality.cmx pretyping/evd.cmx \ - library/global.cmx pretyping/inductiveops.cmx library/libnames.cmx \ - library/library.cmx library/nameops.cmx kernel/names.cmx lib/options.cmx \ - parsing/pcoq.cmx lib/pp.cmx parsing/pptactic.cmx proofs/proof_type.cmx \ - proofs/refiner.cmx kernel/sign.cmx tactics/tacinterp.cmx \ - proofs/tacmach.cmx tactics/tacticals.cmx tactics/tactics.cmx \ - kernel/term.cmx lib/util.cmx + parsing/egrammar.cmx pretyping/evd.cmx library/global.cmx \ + pretyping/inductiveops.cmx library/libnames.cmx library/library.cmx \ + library/nameops.cmx kernel/names.cmx lib/options.cmx parsing/pcoq.cmx \ + lib/pp.cmx parsing/pptactic.cmx proofs/proof_type.cmx proofs/refiner.cmx \ + kernel/sign.cmx tactics/tacinterp.cmx proofs/tacmach.cmx \ + tactics/tacticals.cmx tactics/tactics.cmx kernel/term.cmx \ + pretyping/termops.cmx lib/util.cmx contrib/correctness/pcic.cmo: kernel/declarations.cmi library/declare.cmi \ pretyping/detyping.cmi kernel/entries.cmi library/global.cmi \ kernel/indtypes.cmi library/libnames.cmi library/nameops.cmi \ |