| Current Path : /usr/home/beeson/Otter-Lambda/autotest/ |
| Current File : /usr/home/beeson/Otter-Lambda/autotest/identity.in |
% prove the existence of the identity function. set(lambda). set(demod_inf). set(binary_res). list(usable). x = x. end_of_list. list(sos). g(X) != Ap(X,g(X)) | $ANS(X). end_of_list.