WhoCites Definitions prog 1 Sections StandardLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites case it?
case_itDef  => body(value,contvalue) == body

Syntax: =>
 =>body
has structure: case_it(body)

About:
apply!abstraction
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions prog 1 Sections StandardLIB Search Doc