Nuprl Definition : make-proof-tree
make-proof-tree(s;r;L) == <<s, r>, λi.L[i]>
Definitions occuring in Statement :
select: L[n],
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
lambda: λx.A[x],
select: L[n]
FDL editor aliases :
make-proof-tree
Latex:
make-proof-tree(s;r;L) == <<s, r>, \mlambda{}i.L[i]>
Date html generated:
2016_05_15-PM-03_14_42
Last ObjectModification:
2015_12_16-PM-03_04_18
Theory : general
Home
Index