diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-15 22:00:58 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-15 22:00:58 +0000 |
| commit | e01116497a9b1192fa42739c6eae0d2abd81f4c2 (patch) | |
| tree | 05672c38d564001a1cd661ae3b711ad152ad20eb /.depend.coq | |
| parent | 17a540b2a911927ed26190ca8a0b28efccab3bb3 (diff) | |
mise a jour
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@853 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend.coq')
| -rw-r--r-- | .depend.coq | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.depend.coq b/.depend.coq index a6d0d2de3..0ed524ce9 100644 --- a/.depend.coq +++ b/.depend.coq @@ -43,7 +43,6 @@ theories/Reals/Rbasic_fun.vo: theories/Reals/Rbasic_fun.v theories/Reals/R_Ifp.v theories/Reals/Rbase.vo: theories/Reals/Rbase.v theories/Reals/Raxioms.vo contrib/ring/ZArithRing.vo theories/Logic/Classical_Prop.vo contrib/omega/Omega.vo theories/Reals/Raxioms.vo: theories/Reals/Raxioms.v theories/Zarith/ZArith.vo theories/Reals/TypeSyntax.vo theories/Reals/R_Ifp.vo: theories/Reals/R_Ifp.v theories/Reals/Rbase.vo contrib/omega/Omega.vo -theories/Logic/Extensionality.vo: theories/Logic/Extensionality.v theories/Logic/Eqdep_dec.vo: theories/Logic/Eqdep_dec.v theories/Logic/Eqdep.vo: theories/Logic/Eqdep.v theories/Logic/Classical_Type.vo: theories/Logic/Classical_Type.v theories/Logic/Classical_Prop.vo theories/Logic/Classical_Pred_Type.vo |