diff options
| author |  Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-03 17:06:03 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-07-03 17:08:26 +0000 |
| commit | 420b38cba7aedfcfeac5671a7db0c02c4bb14a0c (patch) | |
| tree | 688c9c61de37e2a16ddc87fc91272e80338eaae1 /theories/Numbers/DecimalZ.v | |
| parent | cda674b91ec137bb4c995063888cc5059884ac8c (diff) | |
[test suite] Test case for attributes
Diffstat (limited to 'theories/Numbers/DecimalZ.v')
0 files changed, 0 insertions, 0 deletions