n:
. n>0 
odd(n) = 
odd(n-1)n:. n>0 even(n) = even(n-1)n:. n>0 fact(n) = n
fact(n-1)m,n:. n>0 exp(m;n) = mexp(m;n-1)is mentioned by
| n:. n>0 odd(n) = odd(n-1) | [odd_pos] |
| n:. n>0 even(n) = even(n-1) | [even_pos] |
| n:. n>0 fact(n) = nfact(n-1) | [fact_pos] |
| m,n:. n>0 exp(m;n) = mexp(m;n-1) | [exp_pos] |
Try larger context:
HOLlib
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html