diff options
Diffstat (limited to 'theories/Numbers/vo.itarget')
| -rw-r--r-- | theories/Numbers/vo.itarget | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/theories/Numbers/vo.itarget b/theories/Numbers/vo.itarget index 7867b8caa0..fbfaa80075 100644 --- a/theories/Numbers/vo.itarget +++ b/theories/Numbers/vo.itarget @@ -49,6 +49,7 @@ NatInt/NZDomain.vo NatInt/NZDiv.vo NatInt/NZPow.vo NatInt/NZSqrt.vo +NatInt/NZLog.vo Natural/Abstract/NAddOrder.vo Natural/Abstract/NAdd.vo Natural/Abstract/NAxioms.vo @@ -65,6 +66,7 @@ Natural/Abstract/NMaxMin.vo Natural/Abstract/NParity.vo Natural/Abstract/NPow.vo Natural/Abstract/NSqrt.vo +Natural/Abstract/NLog.vo Natural/BigN/BigN.vo Natural/BigN/Nbasic.vo Natural/BigN/NMake_gen.vo |