diff options
| author | letouzey | 2008-06-03 00:04:16 +0000 |
|---|---|---|
| committer | letouzey | 2008-06-03 00:04:16 +0000 |
| commit | ebb3fe944b6bd1cd363e3348465d7ea2fd85c62c (patch) | |
| tree | 4703cbd152b97f0563a6df2567eef8f4984c81d4 /Makefile.common | |
| parent | f82bfc64fca9fb46136d7aa26c09d64cde0432d2 (diff) | |
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
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 12 |
1 files changed, 6 insertions, 6 deletions
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 ) |