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