diff options
Diffstat (limited to 'theories/Numbers/vo.itarget')
| -rw-r--r-- | theories/Numbers/vo.itarget | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/theories/Numbers/vo.itarget b/theories/Numbers/vo.itarget index e380d835e0..408d8e59b4 100644 --- a/theories/Numbers/vo.itarget +++ b/theories/Numbers/vo.itarget @@ -23,7 +23,6 @@ Integer/Abstract/ZLt.vo Integer/Abstract/ZMulOrder.vo Integer/Abstract/ZMul.vo Integer/Abstract/ZSgnAbs.vo -Integer/Abstract/ZProperties.vo Integer/Abstract/ZDivFloor.vo Integer/Abstract/ZDivTrunc.vo Integer/Abstract/ZDivEucl.vo @@ -31,6 +30,8 @@ Integer/Abstract/ZMaxMin.vo Integer/Abstract/ZParity.vo Integer/Abstract/ZPow.vo Integer/Abstract/ZGcd.vo +Integer/Abstract/ZLcm.vo +Integer/Abstract/ZProperties.vo Integer/BigZ/BigZ.vo Integer/BigZ/ZMake.vo Integer/Binary/ZBinary.vo |