diff options
| author |  Ken McMillan <unknown> | 2013-11-09 15:45:09 -0800 |
|---|---|---|
| committer | Ken McMillan <unknown> | 2013-11-09 15:45:09 -0800 |
| commit | 334d29e2e34647caa2defd9cd0d329e1e9f0dfd3 (patch) | |
| tree | 31d51078b4fc87fe7b4d3fc361d61084e84b613b /Source/Provers/TPTP | |
| parent | 762424bf2a12558fd5a1eacbc056ebff3193b318 (diff) | |
| parent | 0172a2eeb76fafd8aaabd34934b41eca15282956 (diff) | |
Merge duality changes to mainline
Diffstat (limited to 'Source/Provers/TPTP')
0 files changed, 0 insertions, 0 deletions