diff options
author | Sam Pablo Kuper <sampablokuper@riseup.net> | 2017-07-31 22:04:32 +0100 |
---|---|---|
committer | Sam Pablo Kuper <sampablokuper@riseup.net> | 2017-08-01 13:18:41 +0100 |
commit | eee42a2403f5bdcf97139deb97f9cd0a7a434ddc (patch) | |
tree | 9d39beb8cce108632e05a6a008adf685250006d4 /proofs/proofs.mllib | |
parent | 17f37f42792b3150fcebb6236b9896845957b89d (diff) |
Fix typos. Improve wording.
Diffstat (limited to 'proofs/proofs.mllib')
0 files changed, 0 insertions, 0 deletions