diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-02 13:01:10 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-02 11:01:10 -0700 |
commit | 0ee1b1371e7cf50c14883316fdd6374114799a99 (patch) | |
tree | 0ad441bb81f4265e341322bd21d4e0a4952abbbe /NEWS | |
parent | 254c0391d9186221bc3b8c63687cc30a06b14f1b (diff) |
(proof-new) Make term conversion proof generator optionally term-context sensitive (#4972)
This will be used by TermFormulaRemoval.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions