Sindbad~EG File Manager

Current File : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/Algebra/identity.prf

1 [] x=x.
2 [] g(X)!=Ap(X,g(X))|$ANS(X).
3 [binary,2.1,1.1] $ANS(lambda(x,x)).

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