diff options
Diffstat (limited to 'theories/theories.itarget')
| -rw-r--r-- | theories/theories.itarget | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/theories/theories.itarget b/theories/theories.itarget index 4a8f7771be..6b8549859d 100644 --- a/theories/theories.itarget +++ b/theories/theories.itarget @@ -192,12 +192,12 @@ Numbers/Natural/Abstract/NAddOrder.vo Numbers/Natural/Abstract/NAdd.vo Numbers/Natural/Abstract/NAxioms.vo Numbers/Natural/Abstract/NBase.vo -#Numbers/Natural/Abstract/NDefOps.vo +Numbers/Natural/Abstract/NDefOps.vo Numbers/Natural/Abstract/NIso.vo Numbers/Natural/Abstract/NMulOrder.vo Numbers/Natural/Abstract/NMul.vo Numbers/Natural/Abstract/NOrder.vo -#Numbers/Natural/Abstract/NStrongRec.vo +Numbers/Natural/Abstract/NStrongRec.vo Numbers/Natural/Abstract/NSub.vo Numbers/Natural/BigN/BigN.vo Numbers/Natural/BigN/Nbasic.vo |