diff options
Diffstat (limited to 'theories/NArith/vo.itarget')
| -rw-r--r-- | theories/NArith/vo.itarget | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/theories/NArith/vo.itarget b/theories/NArith/vo.itarget deleted file mode 100644 index e76033f7..00000000 --- a/theories/NArith/vo.itarget +++ /dev/null @@ -1,10 +0,0 @@ -BinNatDef.vo -BinNat.vo -NArith.vo -Ndec.vo -Ndigits.vo -Ndist.vo -Nnat.vo -Ndiv_def.vo -Nsqrt_def.vo -Ngcd_def.vo
\ No newline at end of file |