IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
hhd nuprl1 1. 'a : S
2. l : 'a List
3. mt(l)
if null(l) then arb('a) else head(l) fi = head(l)
By:
BifCase THEN Simp THEN StrongAuto
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mt(l)
if null(l) then arb('a) else head(l) fi = head(l)
