summaryrefslogtreecommitdiff
path: root/test/regress/regress0/tptp/tptp_parser10.p
blob: d6a2571218b2176244ee78c074104467647610a2 (plain) 
1
2
3
4
5
6
7
8
9

% Status: Theorem

%--------------------------------------------------------------------------

fof(query_1,axiom, ![A,B]: (A != B => e(A) != e(B)) ).

fof(query_1,conjecture, e(1.6) != e(1) ).

%--------------------------------------------------------------------------
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback