IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def enum1_el1 => bodycont(x,z)
Def == InjCase(if x=0 inl(*) ; inr(*) fi ; body; cont(z,z))
No mentions to report in StandardLib.
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html