diff options
author | 2014-09-23 13:11:24 +0200 | |
---|---|---|
committer | 2014-09-23 13:11:24 +0200 | |
commit | 13ab2df9ed3a5ea6b7455ea8a7da4341e7f2bcd5 (patch) | |
tree | fd42f041d099700403dfc0a3af69ea5791ec5930 /theories/Reals/Rlogic.v | |
parent | 85355cfda7a01fa532f111ee7c4d522a8be8a399 (diff) |
adds general facts in the Reals library, whose need was detected in
experiments about computing PI
Diffstat (limited to 'theories/Reals/Rlogic.v')
0 files changed, 0 insertions, 0 deletions