diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-12 18:30:19 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-12 18:30:19 -0500 |
commit | 08f6f8cc6118b1e6c057a294d1ddb60e2e45b5ed (patch) | |
tree | de37ebe313376112c41646f206a03e4b8029308f /doc | |
parent | a3efc3697434902c5b147ee16c34d7291734206f (diff) |
Update to consistent policy for removed terms in quantifier bodies. (#4602)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions