diff options
author | Stephane Glondu <steph@glondu.net> | 2012-08-20 18:25:30 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-08-20 18:25:30 +0200 |
commit | ab08ae9f0f944d9f801c44e4ffd3e6b7fcf4b024 (patch) | |
tree | e5bf74cdcb5767c6a11fea2d1a518b95a09e8b54 /theories/Reals/Rderiv.v | |
parent | 72deb90ec0aca34501f0476c013e2cee7ccd1f2a (diff) |
Use experimental branches
Diffstat (limited to 'theories/Reals/Rderiv.v')
0 files changed, 0 insertions, 0 deletions