Nuprl - prog_1 Citations of pattern1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def <<"a", b>, c, 1> == <<"a",b>,c,1>

is mentioned by

Def <a, inl <<"a", b>, c, 1>> == <a,inl(<<"a", b>, c, 1>)> [pattern2]

Try larger context: StandardLIB IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html