Age | Commit message (Expand) | Author |
---|---|---|
2021-10-23 | Remove spurious assertoin (#7458) | Andrew Reynolds |
2021-10-20 | Do not construct instantiation for checking propagating instantiations spurio... | Andrew Reynolds |
2021-10-14 | Split entailment check from term database (#7342) | Andrew Reynolds |