| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/Algebra/ |
| 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)).