diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-02-01 10:52:28 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-02-01 10:54:53 +0100 |
commit | c17c3faee20251cd5c7168246e9ffcd12d557f85 (patch) | |
tree | 02635866b73d7595fad009cc17535a6bbf06c2fc /theories/Reals | |
parent | f86bfa39cddfb9c6411ed8624cee9a2b5c8d53bd (diff) | |
parent | 568b38e1d599f8bac5adf140f5a114f2871bc436 (diff) |
Merge branch 'v8.6'
Diffstat (limited to 'theories/Reals')
0 files changed, 0 insertions, 0 deletions