From cd279a01c50c9a5a236ff360709c569be08a5c80 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 15 Nov 2001 17:36:08 +0000
Subject: Ajout d'un fichier Max dans Arith, et enrichissement du Min.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1367b87812..e34dd8a54b 100644
--- a/Makefile
+++ b/Makefile
@@ -384,7 +384,7 @@ ARITHVO=theories/Arith/Arith.vo         theories/Arith/Gt.vo          \
 	theories/Arith/Mult.vo          theories/Arith/Even.vo        \
 	theories/Arith/EqNat.vo         theories/Arith/Peano_dec.vo   \
 	theories/Arith/Euclid.vo        theories/Arith/Plus.vo        \
-	theories/Arith/Wf_nat.vo      \
+	theories/Arith/Wf_nat.vo  	theories/Arith/Max.vo	      \
 #	theories/Arith/Div.vo 
 
 BOOLVO=theories/Bool/Bool.vo  		theories/Bool/IfProp.vo \
-- 
cgit v1.2.3