diff options
author | lianah <lianahady@gmail.com> | 2013-05-10 15:52:37 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-05-10 15:52:45 -0400 |
commit | f84120cd5311450de2075a91356524d4e20d457c (patch) | |
tree | 1a9220eee3d0063b76794bca414a26132007d8dd /src/parser/tptp/tptp.h | |
parent | 7f13c0713accdefa46ce2a43dbeae8c46255bea1 (diff) |
fixes to the proof system so it works with theory lemmas and explanations
Diffstat (limited to 'src/parser/tptp/tptp.h')
0 files changed, 0 insertions, 0 deletions