diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-15 09:39:09 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-15 09:39:09 -0500 |
| commit | c0af8cf1c1e3edca35bb7ae4edf1831ebdee0abd (patch) | |
| tree | 7a674542e85f58d06213e26b9fcddbf44d8e4323 /src/proof/lemma_proof.cpp | |
| parent | e9381ce8e8b84039e148ede7af089ba27b9b32fe (diff) | |
Minor simplification to normal form explanations.
Diffstat (limited to 'src/proof/lemma_proof.cpp')
0 files changed, 0 insertions, 0 deletions