From 477574b664f32e0f508a8657c0143c2e17e78547 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 19 Apr 2001 12:18:42 +0000
Subject: Remplacement Euclid_def Euclid_proof par Euclid

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1617 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9b22c333d6..6e0d1dd2bc 100644
--- a/Makefile
+++ b/Makefile
@@ -347,8 +347,8 @@ ARITHVO=theories/Arith/Arith.vo         theories/Arith/Gt.vo          \
 	theories/Arith/Div2.vo          theories/Arith/Minus.vo       \
 	theories/Arith/Mult.vo          theories/Arith/Even.vo        \
 	theories/Arith/EqNat.vo         theories/Arith/Peano_dec.vo   \
-	theories/Arith/Euclid_def.vo    theories/Arith/Plus.vo        \
-	theories/Arith/Euclid_proof.vo  theories/Arith/Wf_nat.vo      \
+	theories/Arith/Euclid.vo        theories/Arith/Plus.vo        \
+	theories/Arith/Wf_nat.vo      \
 #	theories/Arith/Div.vo 
 
 BOOLVO=theories/Bool/Bool.vo  theories/Bool/IfProp.vo \
-- 
cgit v1.2.3