diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-10-27 18:02:28 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-27 18:02:28 +0200 |
| commit | 046fd92ae9d233a8d3ffb0e1f5a4ff76f1129744 (patch) | |
| tree | c9a18867fb0a6b6b2f0d86b77cc009dcd763e888 /plugins/ltac/pptactic.ml | |
| parent | bb383ae81838aabae9fe77fdbeaecf46bb85b4f2 (diff) | |
| parent | 84e274fb6d36bbd8306c2977520ebe1cf410349a (diff) | |
Merge PR #1113: Adding 3 Arith/QArith lemmas that I found useful
Diffstat (limited to 'plugins/ltac/pptactic.ml')
0 files changed, 0 insertions, 0 deletions