WhoCites Definitions mb tree Sections MarkB generic Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites case node?
case_nodeDef Case x;y => body(x;y) cont(x1,z)
Def == InjCase(x1; _. cont(z,z); x2. x2/x3,x2@0. body(x3;x2@0))

Syntax:Case x;y =>
Casebody(x;y)
cont		 has structure: case_node(x,y.body(x;y); cont)

About:
spreaddecideapply!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions mb tree Sections MarkB generic Doc