diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-11-21 09:19:24 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-21 09:19:24 +0100 |
commit | d0c42fea9edfef645a822e9f12d475c205f93932 (patch) | |
tree | 566d6a23269c7c1526aca23d9d99f1007dd2714c /proofs/proofs.mllib | |
parent | 2a857da2a88855a6c9f0fa7e48a8700c1613e0c7 (diff) | |
parent | a83c37de529f12348cd9e3a66a38c58b72777478 (diff) |
Merge PR #6113: Extra work on ltac printing: fixing #5787, some parentheses
Diffstat (limited to 'proofs/proofs.mllib')
0 files changed, 0 insertions, 0 deletions