Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/autotest/
Upload File :
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.

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists