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 b6d2e42aa9..070149a11c 100644 --- a/theories/Numbers/vo.itarget +++ b/theories/Numbers/vo.itarget @@ -21,6 +21,7 @@ Integer/Abstract/ZBase.vo 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 |