diff options
| author |  Samuel Mimram <smimram@debian.org> | 2007-02-13 17:07:17 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2007-02-13 17:07:17 +0000 |
| commit | d96021d8572d4e16facf14136bac604597deefba (patch) | |
| tree | ce446b3abd9445f9ad9e18c1421abc48ae4e9376 /theories/Numbers/NatInt/NZMul.v | |
| parent | 63a8706144442ef2c7a0e0b2b42dda6a5d9ec7ec (diff) | |
Converted copyright to utf8.debian/8.1+dfsg-1
Diffstat (limited to 'theories/Numbers/NatInt/NZMul.v')
0 files changed, 0 insertions, 0 deletions