IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Theorem | Name |
Thm* Dec(P)   ( b: . b P) | [decbl_iff_some_bool] |
| cites the following: |
Thm* true | [assert_of_tt] |
Thm*  false | [assert_of_ff] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
