From ebb3fe944b6bd1cd363e3348465d7ea2fd85c62c Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 3 Jun 2008 00:04:16 +0000
Subject: In abstract parts of theories/Numbers, plus/times becomes add/mul,
 for increased consistency with bignums parts

(commit part II: names of files + additional translation minus --> sub)



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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index cba65055a1..b90cdbc0f0 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -671,12 +671,12 @@ CYCLICVO:=$(CYCLICABSTRACTVO) $(CYCLICINT31VO) $(CYCLICDOUBLECYCLICVO) \
  $(CYCLICZMODULOVO)
 
 NATINTVO:=$(addprefix theories/Numbers/NatInt/, \
- NZAxioms.vo	NZBase.vo	NZPlus.vo	NZTimes.vo	\
- NZOrder.vo 	NZPlusOrder.vo	NZTimesOrder.vo )
+ NZAxioms.vo	NZBase.vo	NZAdd.vo	NZMul.vo	\
+ NZOrder.vo 	NZAddOrder.vo	NZMulOrder.vo )
 
 NATURALABSTRACTVO:=$(addprefix theories/Numbers/Natural/Abstract/, \
- NAxioms.vo 	NBase.vo 	NPlus.vo 	NTimes.vo 	\
- NOrder.vo 	NPlusOrder.vo	NTimesOrder.vo 	NMinus.vo	\
+ NAxioms.vo 	NBase.vo 	NAdd.vo 	NMul.vo 	\
+ NOrder.vo 	NAddOrder.vo	NMulOrder.vo 	NSub.vo	\
  NIso.vo )
 
 NATURALPEANOVO:=$(addprefix theories/Numbers/Natural/Peano/, \
@@ -695,8 +695,8 @@ NATURALVO:=$(NATURALABSTRACTVO) $(NATURALPEANOVO) $(NATURALBINARYVO) \
  $(NATURALSPECVIAZVO) $(NATURALBIGNVO)
 
 INTEGERABSTRACTVO:=$(addprefix theories/Numbers/Integer/Abstract/, \
- ZAxioms.vo 	ZBase.vo 	ZPlus.vo 	ZTimes.vo 	\
- ZLt.vo 	ZPlusOrder.vo 	ZTimesOrder.vo )
+ ZAxioms.vo 	ZBase.vo 	ZAdd.vo 	ZMul.vo 	\
+ ZLt.vo 	ZAddOrder.vo 	ZMulOrder.vo )
 
 INTEGERBINARYVO:=$(addprefix theories/Numbers/Integer/Binary/, \
  ZBinary.vo )
-- 
cgit v1.2.3