From e01116497a9b1192fa42739c6eae0d2abd81f4c2 Mon Sep 17 00:00:00 2001 From: filliatr Date: Wed, 15 Nov 2000 22:00:58 +0000 Subject: mise a jour git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@853 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend.coq | 1 - 1 file changed, 1 deletion(-) (limited to '.depend.coq') 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 -- cgit v1.2.3