diff options
Diffstat (limited to 'theories/Numbers/vo.itarget')
| -rw-r--r-- | theories/Numbers/vo.itarget | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/Numbers/vo.itarget b/theories/Numbers/vo.itarget index b38d939c2..003f20f2d 100644 --- a/theories/Numbers/vo.itarget +++ b/theories/Numbers/vo.itarget @@ -37,6 +37,7 @@ NatInt/NZMulOrder.vo NatInt/NZMul.vo NatInt/NZOrder.vo NatInt/NZProperties.vo +NatInt/NZDomain.vo Natural/Abstract/NAddOrder.vo Natural/Abstract/NAdd.vo Natural/Abstract/NAxioms.vo |