Nuprl Definition : pi-example-inst

pi-example-inst() == pi-example([x];[y];[z];[v])

Definitions occuring in Statement : pi-example: pi-example(x;y;z;v), cons: [a / b], nil: [], token: "$token"
FDL editor aliases : pi-example-inst

Latex:
pi-example-inst() == pi-example([x];[y];[z];[v]) Date html generated: 2015_07_23-AM-11_33_01 Last ObjectModification: 2012_08_30-PM-01_36_51 Home Index