diff options
| author | filliatr | 2003-01-16 02:02:14 +0000 |
|---|---|---|
| committer | filliatr | 2003-01-16 02:02:14 +0000 |
| commit | 3be40ca7d600689779fc4ec880a7f54d8adf0b49 (patch) | |
| tree | 8cc39487b59e77fd1e477bd1381dfb885f63ad74 | |
| parent | 1d7133e6730a9ea8632870b36ac949211679b83a (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3506 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1991,8 +1991,8 @@ toplevel/vernacentries.cmo: tactics/auto.cmi toplevel/class.cmi \ lib/pp_control.cmi parsing/prettyp.cmi pretyping/pretyping.cmi \ parsing/printer.cmi parsing/printmod.cmi proofs/proof_trees.cmi \ proofs/proof_type.cmi toplevel/record.cmi toplevel/recordobj.cmi \ - proofs/refiner.cmi kernel/safe_typing.cmi parsing/search.cmi \ - library/states.cmi interp/symbols.cmi lib/system.cmi \ + pretyping/reductionops.cmi proofs/refiner.cmi kernel/safe_typing.cmi \ + parsing/search.cmi library/states.cmi interp/symbols.cmi lib/system.cmi \ tactics/tacinterp.cmi proofs/tacmach.cmi pretyping/tacred.cmi \ proofs/tactic_debug.cmi tactics/tactics.cmi kernel/term.cmi \ parsing/termast.cmi interp/topconstr.cmi kernel/typeops.cmi \ @@ -2011,8 +2011,8 @@ toplevel/vernacentries.cmx: tactics/auto.cmx toplevel/class.cmx \ lib/pp_control.cmx parsing/prettyp.cmx pretyping/pretyping.cmx \ parsing/printer.cmx parsing/printmod.cmx proofs/proof_trees.cmx \ proofs/proof_type.cmx toplevel/record.cmx toplevel/recordobj.cmx \ - proofs/refiner.cmx kernel/safe_typing.cmx parsing/search.cmx \ - library/states.cmx interp/symbols.cmx lib/system.cmx \ + pretyping/reductionops.cmx proofs/refiner.cmx kernel/safe_typing.cmx \ + parsing/search.cmx library/states.cmx interp/symbols.cmx lib/system.cmx \ tactics/tacinterp.cmx proofs/tacmach.cmx pretyping/tacred.cmx \ proofs/tactic_debug.cmx tactics/tactics.cmx kernel/term.cmx \ parsing/termast.cmx interp/topconstr.cmx kernel/typeops.cmx \ |