diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-29 13:08:31 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-01-29 13:08:31 +0100 |
commit | 51d642e075466bc6655cae9752350f6760b2bd0f (patch) | |
tree | 9c4e752e2d7ced10854c82555fa148b8e73e6d78 /NEWS | |
parent | 4a8045f5f57c1e71dc4a2cdadc02ca09114c70af (diff) |
Restrict LtePartialInst instantiations based on E-matching, promote to quantifiers module. Refactor QuantifiersEngine registration and check.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions