diff options
author | 2017-10-27 18:02:28 +0200 | |
---|---|---|
committer | 2017-10-27 18:02:28 +0200 | |
commit | 046fd92ae9d233a8d3ffb0e1f5a4ff76f1129744 (patch) | |
tree | c9a18867fb0a6b6b2f0d86b77cc009dcd763e888 /plugins/romega/refl_omega.ml | |
parent | bb383ae81838aabae9fe77fdbeaecf46bb85b4f2 (diff) | |
parent | 84e274fb6d36bbd8306c2977520ebe1cf410349a (diff) |
Merge PR #1113: Adding 3 Arith/QArith lemmas that I found useful
Diffstat (limited to 'plugins/romega/refl_omega.ml')
0 files changed, 0 insertions, 0 deletions