diff options
author | Mike Barnett <mbarnett@microsoft.com> | 2011-05-08 20:05:45 -0700 |
---|---|---|
committer | Mike Barnett <mbarnett@microsoft.com> | 2011-05-08 20:05:45 -0700 |
commit | 51d9bd30cdf3ec7212b06c56acb5cdd1fc1e325c (patch) | |
tree | cbb03e0149d12ae24b7cd6d0414735219b6735e5 /Source/Provers | |
parent | 0710422c62c85de7bae54a408018223bed53afb7 (diff) |
More support for reals, especially real constants.
Diffstat (limited to 'Source/Provers')
0 files changed, 0 insertions, 0 deletions