diff options
| author |  Stephane Glondu <steph@glondu.net> | 2013-05-08 18:05:00 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2013-05-08 18:05:00 +0200 |
| commit | 7a1180e02623fde86faf0dc0587641473b089db5 (patch) | |
| tree | 44cf2859ba6b8486f056efaaf7ee6c2d855f2aae /theories/Reals/Rlogic.v | |
| parent | 095eac936751bab72e3c6bbdfa3ede51f7198721 (diff) | |
| parent | db38bb4ad9aff74576d3b7f00028d48f0447d5bd (diff) | |
Merge branch 'upstream'
Diffstat (limited to 'theories/Reals/Rlogic.v')
0 files changed, 0 insertions, 0 deletions