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 a54e85872d..7867b8caa0 100644 --- a/theories/Numbers/vo.itarget +++ b/theories/Numbers/vo.itarget @@ -48,6 +48,7 @@ NatInt/NZProperties.vo NatInt/NZDomain.vo NatInt/NZDiv.vo NatInt/NZPow.vo +NatInt/NZSqrt.vo Natural/Abstract/NAddOrder.vo Natural/Abstract/NAdd.vo Natural/Abstract/NAxioms.vo @@ -63,6 +64,7 @@ Natural/Abstract/NDiv.vo Natural/Abstract/NMaxMin.vo Natural/Abstract/NParity.vo Natural/Abstract/NPow.vo +Natural/Abstract/NSqrt.vo Natural/BigN/BigN.vo Natural/BigN/Nbasic.vo Natural/BigN/NMake_gen.vo |