diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-19 17:40:18 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-19 17:40:18 -0500 |
commit | a517757f04e519259dde9ed7309168e7475354e3 (patch) | |
tree | 504775b98d19c878e5ec77119c623b006f5a6378 /contrib | |
parent | 22780596b561dff9b0eb5b0620252280a678944e (diff) |
(proof-new) Updates to strings term registry (#4599)
This makes it so that methods for constructing term registration lemmas are made into static methods, so that they can be used by both the term registry and proof checker.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions