diff options
| author |  MichalMoskal <unknown> | 2011-02-23 03:54:29 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-23 03:54:29 +0000 |
| commit | 8e1c309880067303b9fa847184338db682dc78de (patch) | |
| tree | a1fb543a73d40da25a97c06a8c55b09bbf86583e /Source/Provers/TPTP | |
| parent | b6618257258966608b131756a2a0f8751a666bbe (diff) | |
Strip (= 0) and (!= 0) from patterns (we used to allow that with anyNeq thing in Simplify frontend)
Diffstat (limited to 'Source/Provers/TPTP')
0 files changed, 0 insertions, 0 deletions