IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def 
b == if b
false
else true
fi
is mentioned by
Thm* p: .  p  p | [assert_of_bnot] |
Thm* b: . b = false   b | [eqff_to_assert] |
Thm* i,j: .  i j = (j< i) | [bnot_of_le_int] |
Thm* p,q: .  (p  q) = ( p   q) | [bnot_thru_bor] |
Thm* p,q: .  (p q) = ( p   q) | [bnot_thru_band] |
Thm* p: .    p = p | [bnot_bnot_elim] |
Def i j ==  j< i | [le_int] |
Def p  q ==  p  q | [bimplies] |
Def p q == (p   q)  ( p q) | [bxor] |
Def p= q == (p q)  ( p   q) | [eq_bool] |
Try larger context:
StandardLIB
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html