diff options
author | Zeimer <zzaimer@gmail.com> | 2018-07-20 18:56:43 +0200 |
---|---|---|
committer | Zeimer <zzaimer@gmail.com> | 2018-07-20 18:57:32 +0200 |
commit | b2bdaad8567e3ca91e036268a042129b6ce6f987 (patch) | |
tree | 6880c2bf0ebbf496e374f8a1476bb59d5e615dec /doc/sphinx/proof-engine/tactics.rst | |
parent | 3eeb4fb840328a0f8831c402b2347196bfa0042d (diff) |
Small improvements suggested in comments to PR #8086.
Diffstat (limited to 'doc/sphinx/proof-engine/tactics.rst')
0 files changed, 0 insertions, 0 deletions