diff options
| author |  Farzon Lotfi <farzonl@gmail.com> | 2017-11-02 12:14:27 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-11-02 12:14:27 -0400 |
| commit | 0f66537db5df9a7f5ba9a056fd21ff34e83cc8dc (patch) | |
| tree | eeef8e763c32a3068357a46fb42a2dfc04500bf4 /library/global.ml | |
| parent | e5659c8ffe735c530a707a61c692a3af21a79a9a (diff) | |
Update tactics.ml
fix spelling mistake. reword message to be in the Present Perfect tense instead of the 3rd person present because action is completed with respect to the theorem not some unknown third person.
Diffstat (limited to 'library/global.ml')
0 files changed, 0 insertions, 0 deletions