diff options
Diffstat (limited to 'theories/theories.itarget')
| -rw-r--r-- | theories/theories.itarget | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/theories/theories.itarget b/theories/theories.itarget index 6b8549859d..019047ef5f 100644 --- a/theories/theories.itarget +++ b/theories/theories.itarget @@ -170,10 +170,10 @@ Numbers/Integer/Abstract/ZAddOrder.vo Numbers/Integer/Abstract/ZAdd.vo Numbers/Integer/Abstract/ZAxioms.vo Numbers/Integer/Abstract/ZBase.vo -#Numbers/Integer/Abstract/ZDomain.vo Numbers/Integer/Abstract/ZLt.vo Numbers/Integer/Abstract/ZMulOrder.vo Numbers/Integer/Abstract/ZMul.vo +Numbers/Integer/Abstract/ZProperties.vo Numbers/Integer/BigZ/BigZ.vo Numbers/Integer/BigZ/ZMake.vo Numbers/Integer/Binary/ZBinary.vo @@ -188,6 +188,7 @@ Numbers/NatInt/NZBase.vo Numbers/NatInt/NZMulOrder.vo Numbers/NatInt/NZMul.vo Numbers/NatInt/NZOrder.vo +Numbers/NatInt/NZProperties.vo Numbers/Natural/Abstract/NAddOrder.vo Numbers/Natural/Abstract/NAdd.vo Numbers/Natural/Abstract/NAxioms.vo @@ -195,16 +196,15 @@ Numbers/Natural/Abstract/NBase.vo Numbers/Natural/Abstract/NDefOps.vo Numbers/Natural/Abstract/NIso.vo Numbers/Natural/Abstract/NMulOrder.vo -Numbers/Natural/Abstract/NMul.vo Numbers/Natural/Abstract/NOrder.vo Numbers/Natural/Abstract/NStrongRec.vo Numbers/Natural/Abstract/NSub.vo +Numbers/Natural/Abstract/NProperties.vo Numbers/Natural/BigN/BigN.vo Numbers/Natural/BigN/Nbasic.vo # Beware: source file for the next one is generated by a script Numbers/Natural/BigN/NMake.vo Numbers/Natural/Binary/NBinary.vo -Numbers/Natural/Binary/NBinDefs.vo Numbers/Natural/Peano/NPeano.vo Numbers/Natural/SpecViaZ/NSigNAxioms.vo Numbers/Natural/SpecViaZ/NSig.vo |