diff options
| author | Julien Forest | 2014-09-22 15:10:56 +0200 |
|---|---|---|
| committer | Julien Forest | 2014-09-22 15:10:56 +0200 |
| commit | 85355cfda7a01fa532f111ee7c4d522a8be8a399 (patch) | |
| tree | 6cbc308752391ea4635953ece74de4f125f8d259 /theories/Reals/Rbasic_fun.v | |
| parent | 71a579d3bb053e686a92aec111f847bb61f4d8a8 (diff) | |
Correction of error message (bug 3359)
Diffstat (limited to 'theories/Reals/Rbasic_fun.v')
0 files changed, 0 insertions, 0 deletions